Abstract is missing.
- Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction TestingMike Papadakis, Christopher Henard, Yves Le Traon. 1-10 [doi]
- Designing Deletion Mutation OperatorsMárcio Eduardo Delamaro, Jeff Offutt, Paul Ammann. 11-20 [doi]
- Establishing Theoretical Minimal Sets of MutantsPaul Ammann, Márcio Eduardo Delamaro, Jeff Offutt. 21-30 [doi]
- Automatic and Incremental Product Optimization for Software Product Lines Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed. 31-40 [doi]
- A Comparison of Test Case Prioritization Criteria for Software Product LinesAna B. Sánchez, Sergio Segura, Antonio Ruiz Cortés. 41-50 [doi]
- Model-Based Test Design of Product Lines: Raising Test Design to the Product Line LevelHartmut Lackner, Martin Thomas, Florian Wartenberg, Stephan Weißleder. 51-60 [doi]
- Detecting Concurrency Errors in Client-Side Java Script Web ApplicationsShin Hong, Yongbae Park, Moonzoo Kim. 61-70 [doi]
- On the Right Objectives of Data Flow TestingGiovanni Denaro, Mauro Pezzè, Mattia Vivanti. 71-80 [doi]
- Data-Flow Testing in the LargeRoberto Paulo Andrioli de Araujo, Marcos Lordello Chaim. 81-90 [doi]
- Semi-automatic Incompatibility Localization for Re-engineered Industrial SoftwareSusumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki. 91-94 [doi]
- Automated Multi-platform Testing and Code Coverage Analysis of the CP2K ApplicationMarko Miic, Iain Bethune, Milo Tomaevic. 95-98 [doi]
- Test Case Reuse in Enterprise Software Implementation - An Experience ReportSachin Patel, Ramesh Kumar Kollana. 99-102 [doi]
- System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case StudyPaul Wojciak, Rachel Tzoref-Brill. 103-112 [doi]
- Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion BoardKristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist. 113-122 [doi]
- Automatic Testing of Natural User InterfacesChris J. Hunt, Guy Brown, Gordon Fraser. 123-132 [doi]
- A Data-Agnostic Approach to Automatic Testing of Multi-dimensional DatabasesMarius Marin. 133-142 [doi]
- Automated Bug Finding in Video Games: A Case Study for Runtime MonitoringSimon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé. 143-152 [doi]
- Ask the Mutants: Mutating Faulty Programs for Fault LocalizationSeokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo. 153-162 [doi]
- Reproducing Field Failures for Programs with Complex Grammar-Based InputFitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, Paolo Tonella. 163-172 [doi]
- Efficient Leveraging of Symbolic Execution to Advanced Coverage CriteriaSébastien Bardin, Nikolai Kosmatov, François Cheynier. 173-182 [doi]
- Automated Generation of Oracles for Testing User-Interaction Features of Mobile AppsRazieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid. 183-192 [doi]
- Automated Test Generation from Vulnerability SignaturesAbdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan. 193-202 [doi]
- Experimental Evaluation of SDL and One-Op Mutation for CMárcio Eduardo Delamaro, Lin Deng, Vinicius Humberto Serapilha Durelli, Nan Li, Jeff Offutt. 203-212 [doi]
- Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow InjectionsMarie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil. 213-222 [doi]
- An Evaluation of Model-Based Testing in Embedded ApplicationsStephan Weißleder, Holger Schlingloff. 223-232 [doi]
- Sanitizing and Minimizing Databases for Software Application Test OutsourcingBoyang Li, Mark Grechanik, Denys Poshyvanyk. 233-242 [doi]
- Cause Reduction for Quick TestingAlex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr. 243-252 [doi]
- Model Dependent Test Coverage VariabilitiesChristian Schwarzl, Harald Brandl. 253-262 [doi]
- Hybrid Directed Test Suite Augmentation: An Interleaving FrameworkYunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel. 263-272 [doi]
- An Assessment of the Quality of Automated Program Operator RepairFatmah Yousef Assiri, James M. Bieman. 273-282 [doi]
- Supporting Regression Test Scoping with Visual AnalyticsEmelie Engström, Mika Mäntylä, Per Runeson, Markus Borg. 283-292 [doi]
- Adding Contextual Guidance to the Automated Search for Probabilistic Test ProfilesSimon M. Poulding, Hélène Waeselynck. 293-302 [doi]
- Multi-objective Test Suite Optimization for Incremental Product Family TestingHauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer. 303-312 [doi]
- SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded SoftwareTingting Yu, Witawas Srisa-an, Myra B. Cohen, Gregg Rothermel. 313-322 [doi]
- T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication ProtocolsWilliam Johansson, Martin Svensson, Ulf E. Larson, Magnus Almgren, Vincenzo Gulisano. 323-332 [doi]
- Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013Mark Hays, Jane Huffman Hayes, Arne C. Bathke. 333-342 [doi]
- Do System Test Cases Grow Old?Robert Feldt. 343-352 [doi]
- Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and ResultsShaukat Ali, Hadi Hemmati. 353-362 [doi]
- An Empirical Analysis of Test Oracle Strategies for Model-Based TestingNan Li, Jeff Offutt. 363-372 [doi]
- Compositional Specifications for ioco TestingPrzemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic. 373-382 [doi]