Table of Contents

• Symbolic Execution of Virtual DevicesKai Cong, Fei Xie, Li Lei. 1-10 [doi]
• Binary-Level Testing of Embedded ProgramsSébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé. 11-20 [doi]
• A Search Strategy Guided by Uncovered Branches for Concolic TestingQixing Dong, Jun Yan, Jian Zhang, Fanping Zeng. 21-24 [doi]
• Measuring Qualities for OSGi Component-Based ApplicationsSalma Hamza, Salah Sadou, Régis Fleurquin. 25-34 [doi]
• A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level PerspectiveChangjiang Jia, W. K. Chan. 35-44 [doi]
• Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian StatisticsYuelong Zhu, Meijun Xu, Pengcheng Zhang, Wenrui Li, Hareton Leung. 45-54 [doi]
• Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case StudyJi Wu, Tao Yue, Shaukat Ali, HuiHui Zhang. 55-64 [doi]
• Outsourcing Software Testing: A Case Study in the Oulu AreaIlkka Tervonen, Antti Haapalahti, Lasse Harjumaa, Jouni Similä. 65-74 [doi]
• Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case StudyShuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen. 75-84 [doi]
• Improving Service Diagnosis through Invocation MonitoringCuiting Chen, Hans-Gerhard Gross, Andy Zaidman. 85-94 [doi]
• Evaluating Web Service Quality Using Finite State ModelsOlga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko. 95-102 [doi]
• An Empirical Study of Adoption of Software Testing in Open Source ProjectsPavneet Singh Kochhar, Tegawendé F. Bissyandé, David Lo, Lingxiao Jiang. 103-112 [doi]
• An Approach for Checking OSEK/VDX ApplicationsHaitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-hung Lin. 113-116 [doi]
• Static Slicing for Python First-Class ObjectsZhaogui Xu, Ju Qian, Lin Chen, Zhifei Chen, Baowen Xu. 117-124 [doi]
• Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication DependenciesValentin Chimisliu, Franz Wotawa. 125-134 [doi]
• PCTF: An Integrated, Extensible Cloud Test Framework for Testing Cloud Platforms and ApplicationsGanesh Neelakanta Iyer, Jayakhanna Pasimuthu, Ramesh Loganathan. 135-138 [doi]
• The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of SpreadsheetsSimon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Muhlbacher, Franz Wotawa. 139-148 [doi]
• An Approach to Fully Recognizing Addressable ExpressionYukun Dong, Ying Xing, Dahai Jin, Yunzhan Gong, Kai Liu. 149-152 [doi]
• On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case ExecutionsYuxiang Cao, Zhiquan Zhou, Tsong Yueh Chen. 153-162 [doi]
• Requirements-Driven Testing of Domain-Specific Core Language Models Using ScenariosStefan Sobernig, Bernhard Hoisl, Mark Strembeck. 163-172 [doi]
• Improving the Quality of Context-Aware Applications: An Activity-Oriented Context ApproachXuansong Li, XianPing Tao, Jian Lu. 173-182 [doi]
• Providing Support for Specifying Redundancy Tactics Using Aspect-Oriented ModelingXiang Qiu, Li Zhang. 183-186 [doi]
• A Comparison of Mutation Analysis Tools for JavaMickaël Delahaye, Lydie du Bousquet. 187-195 [doi]
• Automatically Mining High Level Patterns of Software Faults within MethodsHailong Zhang, Dalin Zhang, Dahai Jin, Yunzhan Gong, Chengcheng Wang. 196-199 [doi]
• An Empirical Study of Bugs in Software Build SystemsXin Xia, Xiaozhen Zhou, David Lo, Xiaoqiong Zhao. 200-203 [doi]
• CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault LocalizationXiaobing Sun, Bixin Li, Wanzhi Wen. 204-207 [doi]
• ColFinder Collaborative Concurrency Bug DetectionZhendong Wu, Kai Lu, Xiaoping Wang, Xu Zhou. 208-211 [doi]
• Backward-Slice-Based Statistical Fault Localization without Test OraclesYan Lei, Xiaoguang Mao, Tsong Yueh Chen. 212-221 [doi]
• Using the 5W+1H Model in Reporting Systematic Literature Review: A Case Study on Software Testing for Cloud ComputingChangjiang Jia, Yuen-Tak Yu. 222-229 [doi]
• Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' PreferencesPak-Lok Poon, Tsong Yueh Chen, T. H. Tse. 230-237 [doi]
• Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinderElmin Ibrahimov, Jixing Wang, Zhi Quan Zhou. 238-244 [doi]
• Oracles Are Hardly Attain'd, and Hardly Understood: Confessions of Software Testing ResearchersW. K. Chan, T. H. Tse. 245-252 [doi]
• Leveraging a Constraint Solver for Minimizing Test SuitesJosé Campos, Rui Abreu. 253-259 [doi]
• Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization TechniquesPeifeng Rao, Zheng Zheng, Tsong Yueh Chen, Nan Wang, Kai-Yuan Cai. 260-267 [doi]
• The ART of Divide and Conquer: An Innovative Approach to Improving the Efficiency of Adaptive Random TestingCliff Chow, Tsong Yueh Chen, T. H. Tse. 268-275 [doi]
• Taming Deadlocks in Multithreaded ProgramsYan Cai, W. K. Chan, Yuen-Tak Yu. 276-279 [doi]
• Energy Efficiency in Testing and Regression Testing - A Comparison of DVFS TechniquesEdward Y. Y. Kan. 280-283 [doi]
• Adaptive Combinatorial TestingChanghai Nie, Hareton Leung, Kai-Yuan Cai. 284-287 [doi]
• A Theoretical Study: The Impact of Cloning Failed Test Cases on the Effectiveness of Fault LocalizationYichao Gao, Zhenyu Zhang, Long Zhang, Cheng Gong, Zheng Zheng. 288-291 [doi]
• Automated Test Case Generation for Embedded Software Using Extended Interface AutomataChao Zhang, Xiaoying Bai, Junlong Li, Renwei Zhang. 292-298 [doi]
• A Low-Cost Fault Tolerance Technique in Multi-media Applications through ConfigurabilityLanfang Tan, Ying Tan. 299-304 [doi]
• An Approach to Reliable Software Architectures EvolutionXu Li, Linpeng Huang. 305-312 [doi]
• A Bidirectional Framework for Model Synchronization in Component-Based Software DevelopmentLuxi Chen, Linpeng Huang, Chen Li, Tao Zan. 313-319 [doi]
• On Schedulability Analysis for Embedded Systems with AADL ModelYunwei Dong, Yao Cheng, Tingting Wu, Hong Ye. 320-325 [doi]
• An Approach for Fault Localization Based on Program Slicing and BayesianYingqi Liu, Wei Li, Shujuan Jiang, Yanmei Zhang, Xiaolin Ju. 326-332 [doi]
• Automatic Validation of Design Decision Based on Multiple Analysis Methods IntegrationJiayu Luo, Ruiying Huang, Xiangping Chen. 333-340 [doi]
• Abstraction Based Domain Ontology Extraction for Idea CreationDelin Jing, Hongji Yang, Yingchun Tian. 341-348 [doi]
• Performance Testing Framework for REST-Based Web ApplicationsChia Hung Kao, Chun-Cheng Lin, Juei-Nan Chen. 349-354 [doi]
• Applying Cloud Computing Technologies to Gerontology and Geriatrics Health Care System (GGHCS)Tse-Chuan Hsu, Chih-Hung Chang, William C. Chu, Shinn-Ying Ho, Nien-Lin Hsueh, Wei-Bin Lee. 355-360 [doi]
• A Mobile Centered and Web Service Integrated Approach for Legacy eHealth Web MigrationNien-Lin Hsueh, Pei-Sheng Chen, Cheng-Chung Chu, Chao-Tung Yang, Chih-Wei Lu, Chih-Hung Chang. 361-366 [doi]
• Towards Designing a Quality Software System for Mental Disease Treatment through Artistic Painting TherapyYingmei Wang, Jia Jiang, Hongji Yang. 367-371 [doi]
• Considerations in Designing Human-Computer Interfaces for Elderly PeopleDrew Williams, Mohammad Arif Ul Alam, Sheikh Iqbal Ahamed, William C. Chu. 372-377 [doi]
• Workflow-Based Modeling of Web Application and Automatically Generating Test SequencesLulu Dong, Hua Li, Sumei Zhang. 378-381 [doi]
• Interaction Models Matter in the Evaluation of Quality of Conceptual ModelsBeatriz Marín, Giovanni Giachetti, Oscar Pastor, Alain Abran. 382-389 [doi]
• Supporting Reliability Modeling and Analysis for Component-Based Software Architecture: An XML-Based ApproachWeichao Luo, Linpeng Huang. 390-395 [doi]
• Dealing with Software Model Quality in Practice: Experience in a Research ProjectJose Luis de la Vara, Huascar Espinoza. 396-405 [doi]