Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. QSIC 2013: Najing, China
- 2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013. IEEE 2013, ISBN 978-1-4799-0500-3
Session 1: Symbolic Execution
- Kai Cong, Fei Xie, Li Lei:
Symbolic Execution of Virtual Devices. 1-10 - Sébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé
:
Binary-Level Testing of Embedded Programs. 11-20 - Qixing Dong, Jun Yan, Jian Zhang, Fanping Zeng:
A Search Strategy Guided by Uncovered Branches for Concolic Testing. 21-24
Session 2: QoS (1)
- Salma Hamza, Salah Sadou, Régis Fleurquin:
Measuring Qualities for OSGi Component-Based Applications. 25-34 - Changjiang Jia, W. K. Chan:
A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective. 35-44 - Yuelong Zhu, Meijun Xu, Pengcheng Zhang, Wenrui Li, Hareton Leung:
Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics. 45-54
Session 3: SQIP Session
- Ji Wu, Tao Yue, Shaukat Ali, Huihui Zhang:
Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study. 55-64 - Ilkka Tervonen, Antti Haapalahti, Lasse Harjumaa, Jouni Similä:
Outsourcing Software Testing: A Case Study in the Oulu Area. 65-74 - Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study. 75-84
Session 4: QoS (2)
- Cuiting Chen, Hans-Gerhard Gross, Andy Zaidman:
Improving Service Diagnosis through Invocation Monitoring. 85-94 - Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko:
Evaluating Web Service Quality Using Finite State Models. 95-102 - Pavneet Singh Kochhar, Tegawendé F. Bissyandé, David Lo, Lingxiao Jiang:
An Empirical Study of Adoption of Software Testing in Open Source Projects. 103-112
Session 5: Static Checking
- Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin:
An Approach for Checking OSEK/VDX Applications. 113-116 - Zhaogui Xu, Ju Qian, Lin Chen, Zhifei Chen, Baowen Xu:
Static Slicing for Python First-Class Objects. 117-124
Session 6: Software Testing
- Valentin Chimisliu, Franz Wotawa:
Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies. 125-134 - Ganesh Neelakanta Iyer, Jayakhanna Pasimuthu, Ramesh Loganathan:
PCTF: An Integrated, Extensible Cloud Test Framework for Testing Cloud Platforms and Applications. 135-138
Session 7: Software Faults (1)
- Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, Franz Wotawa:
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. 139-148 - Yukun Dong, Ying Xing, Dahai Jin, Yunzhan Gong, Kai Liu:
An Approach to Fully Recognizing Addressable Expression. 149-152 - Yuxiang Cao, Zhiquan Zhou, Tsong Yueh Chen:
On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions. 153-162
Session 8: DSL
- Stefan Sobernig, Bernhard Hoisl, Mark Strembeck:
Requirements-Driven Testing of Domain-Specific Core Language Models Using Scenarios. 163-172 - Xuansong Li, XianPing Tao, Jian Lu:
Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach. 173-182 - Xiang Qiu, Li Zhang:
Providing Support for Specifying Redundancy Tactics Using Aspect-Oriented Modeling. 183-186
Session 9: Software Faults (2)
- Mickaël Delahaye, Lydie du Bousquet:
A Comparison of Mutation Analysis Tools for Java. 187-195 - Hailong Zhang, Dalin Zhang, Dahai Jin, Yunzhan Gong, Chengcheng Wang:
Automatically Mining High Level Patterns of Software Faults within Methods. 196-199 - Xin Xia, Xiaozhen Zhou, David Lo, Xiaoqiong Zhao:
An Empirical Study of Bugs in Software Build Systems. 200-203
Session 10: Fault Localization
- Xiaobing Sun, Bixin Li, Wanzhi Wen:
CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault Localization. 204-207 - Zhendong Wu, Kai Lu, Xiaoping Wang, Xu Zhou:
ColFinder Collaborative Concurrency Bug Detection. 208-211 - Yan Lei, Xiaoguang Mao, Tsong Yueh Chen:
Backward-Slice-Based Statistical Fault Localization without Test Oracles. 212-221
The Symposium on Engineering Test Harnesses (TSETH)
- Changjiang Jia, Yuen-Tak Yu:
Using the 5W+1H Model in Reporting Systematic Literature Review: A Case Study on Software Testing for Cloud Computing. 222-229 - Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse:
Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences. 230-237 - Elmin Ibrahimov, Jixing Wang, Zhi Quan Zhou:
Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinder. 238-244 - W. K. Chan, T. H. Tse:
Oracles Are Hardly Attain'd, and Hardly Understood: Confessions of Software Testing Researchers. 245-252 - José Campos, Rui Abreu:
Leveraging a Constraint Solver for Minimizing Test Suites. 253-259 - Peifeng Rao, Zheng Zheng, Tsong Yueh Chen, Nan Wang, Kai-Yuan Cai:
Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques. 260-267 - Cliff Chow, Tsong Yueh Chen, T. H. Tse:
The ART of Divide and Conquer: An Innovative Approach to Improving the Efficiency of Adaptive Random Testing. 268-275
Concise Papers
- Yan Cai, W. K. Chan, Yuen-Tak Yu:
Taming Deadlocks in Multithreaded Programs. 276-279 - Edward Y. Y. Kan:
Energy Efficiency in Testing and Regression Testing - A Comparison of DVFS Techniques. 280-283 - Changhai Nie, Hareton Leung, Kai-Yuan Cai:
Adaptive Combinatorial Testing. 284-287 - Yichao Gao, Zhenyu Zhang, Long Zhang, Cheng Gong, Zheng Zheng:
A Theoretical Study: The Impact of Cloning Failed Test Cases on the Effectiveness of Fault Localization. 288-291
International Workshop on Testing and Verification of Embedded Computing Systems (TVECS)
- Chao Zhang, Xiaoying Bai, Junlong Li, Renwei Zhang:
Automated Test Case Generation for Embedded Software Using Extended Interface Automata. 292-298 - Lanfang Tan, Ying Tan:
A Low-Cost Fault Tolerance Technique in Multi-media Applications through Configurability. 299-304 - Xu Li, Linpeng Huang:
An Approach to Reliable Software Architectures Evolution. 305-312 - Luxi Chen, Linpeng Huang, Chen Li, Tao Zan:
A Bidirectional Framework for Model Synchronization in Component-Based Software Development. 313-319 - Yunwei Dong, Yao Cheng, Tingting Wu, Hong Ye:
On Schedulability Analysis for Embedded Systems with AADL Model. 320-325 - Yingqi Liu, Wei Li, Shujuan Jiang, Yanmei Zhang, Xiaolin Ju:
An Approach for Fault Localization Based on Program Slicing and Bayesian. 326-332 - Jiayu Luo, Ruiying Huang, Xiangping Chen:
Automatic Validation of Design Decision Based on Multiple Analysis Methods Integration. 333-340
International Workshop on Software Quality Assurance of Healthcare Systems and Embedded Systems (SQHE)
- Delin Jing, Hongji Yang, Yingchun Tian:
Abstraction Based Domain Ontology Extraction for Idea Creation. 341-348 - Chia Hung Kao, Chun Cheng Lin, Juei-Nan Chen:
Performance Testing Framework for REST-Based Web Applications. 349-354 - Tse-Chuan Hsu, Chih-Hung Chang, William C. Chu, Shinn-Ying Ho, Nien-Lin Hsueh, Wei-Bin Lee:
Applying Cloud Computing Technologies to Gerontology and Geriatrics Health Care System (GGHCS). 355-360 - Nien-Lin Hsueh, Pei-Sheng Chen, William Cheng-Chung Chu, Chao-Tung Yang, Chih-Wei Lu, Chih-Hung Chang:
A Mobile Centered and Web Service Integrated Approach for Legacy eHealth Web Migration. 361-366 - Yingmei Wang, Jia Jiang, Hongji Yang:
Towards Designing a Quality Software System for Mental Disease Treatment through Artistic Painting Therapy. 367-371 - Drew Williams, Mohammad Arif Ul Alam, Sheikh Iqbal Ahamed, William C. Chu:
Considerations in Designing Human-Computer Interfaces for Elderly People. 372-377
International Workshop on Quality and Measurement of Software Model-Driven Developments (QUAMES)
- Lulu Dong, Hua Li, Sumei Zhang:
Workflow-Based Modeling of Web Application and Automatically Generating Test Sequences. 378-381 - Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Alain Abran:
Interaction Models Matter in the Evaluation of Quality of Conceptual Models. 382-389 - Weichao Luo, Linpeng Huang:
Supporting Reliability Modeling and Analysis for Component-Based Software Architecture: An XML-Based Approach. 390-395 - Jose Luis de la Vara, Huáscar Espinoza:
Dealing with Software Model Quality in Practice: Experience in a Research Project. 396-405
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
