Session 1: Mutation Testing

• Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing

  Papadakis Papadakis, Christopher Henard, Pierre Yves Le Traon

  págs. 1-10

  

• Designing Deletion Mutation Operators

  Jeff Offutt, Paul Ammann, Marcio E. Delamaro

  págs. 11-20

  

• Establishing Theoretical Minimal Sets of Mutants

  Marcio E. Delamaro, Jeff Offutt, Paul Ammann

  págs. 21-30

  

Session 2: Software Product Lines

• Automatic and Incremental Product Optimization for Software Product Lines

  Roberto Erick López Herrejón, Alexander Egyed, Andreas Demuth

  págs. 31-40

  

• A Comparison of Test Case Prioritization Criteria for Software Product Lines

  Sergio Segura Rueda, Antonio Ruiz Cortés, Ana B. Sánchez

  • Texto completo

  págs. 41-50

  

• Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level

  Stephan Weißleder, Hartmut Lackner, Martin Thomas, Florian Wartenberg

  págs. 51-60

  

Session 3: Data Flow and Concurrency

• Detecting Concurrency Errors in Client-side JavaScript Web Applications

  págs. 61-70

  

• On the Right Objectives of Data Flow Testing

  Giovanni Denaro, Mauro Pezzè, Mattia Vivanti

  págs. 71-80

  

• Data-flow Testing in the Large

  Roberto Paulo Andrioli de Araujo, Marcos Lordello Chaim

  págs. 81-90

  

Session 4: Industrial Experiences

• Semi-automatic Incompatibility Localization for Re-engineered Industrial Software

  Hironori Washizaki, Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara

  págs. 91-94

  

• Automated multi-platform testing and code coverage analysis of the CP2K application

  Marko Mi�ic, Milo Toma�evic, Iain Bethune

  págs. 95-98

  

• Test Case Reuse in Enterprise Software Implementation - An Experience Report

  Sachin Patel

  págs. 99-102

  

• System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study

  Rachel Tzoref-Brill, Paul Wojciak

  págs. 103-112

  

Session 5: Automated Testing

• Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board

  Daniel Sundmark, Kristina Lundqvist, Sigrid Eldh, Kristian Wiklund

  págs. 113-122

  

• Automatic Testing of Natural User Interfaces

  Chris Hunt, Gordon Fraser, Guy J. Brown

  págs. 123-132

  

• A data-agnostic approach to automatic testing of multi-dimensional databases

  Marius Marin

  págs. 133-142

  

Session 6: Bugs, Faults, and Failures

• Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring

  Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé

  págs. 143-152

  

• Ask the Mutants: Mutating Faulty Programs for Fault Localization

  Shin Yoo, Seokhyeon Moon, Yunho Kim, Moonzoo Kim

  págs. 153-162

  

• Reproducing Field Failures for Programs with Complex Grammar Based Input

  Fitsum Meshesha Kifetew, Wei Jin, Alessandro Orso, Paolo Tonella, Roberto Tiella

  págs. 163-172

  

Session 7: Automated Test Generation

• Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria

  págs. 173-182

  

• Automated Generation of Oracles for Testing User-interaction Features of Mobile Apps

  Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid

  págs. 183-192

  

• Automated Test Generation from Vulnerability Signatures

  Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan

  págs. 193-202

  

Session 8: Evaluations

• Experimental Evaluation of SDL and One-Op Mutation for C

  Marcio E. Delamaro, Nan Li, Jeff Offutt, Lin Deng, Vinicius H. S. Durelli

  págs. 203-212

  

• Lazart: a symbolic approach for evaluating the robustness of secured codes against control flow fault injections

  Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil

  págs. 213-222

  

• An Evaluation of Model-Based Testing in Embedded Applications

  Stephan Weißleder, Holger Schlingloff

  págs. 223-232

  

Session 9: Coverage Aspects

• Sanitizing And Minimizing Databases For Software Application Test Outsourcing

  Boyang Li, Mark Grechanik, Denys Poshyvanyk

  págs. 233-242

  

• Cause Reduction for Quick Testing

  Alex Groce, Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr

  págs. 243-252

  

• Model Dependent Test Coverage Variabilities

  págs. 253-262

  

Session 10: Regression Testing

• Hybrid Directed Test Suite Augmentation: An Interleaving Framework

  Yunho Kim, Gregg Rothermel, Zhihong Xu, Myra B. Cohen, Moonzoo Kim

  págs. 263-272

  

• An Assessment of the Quality of Automated Program Operator Repair

  James M. Bieman, Fatmah Yousef Assiri

  págs. 273-282

  

• Supporting Regression Test Scoping with Visual Analytics

  Emelie Engstrom, Per Runeson, Markus Borg, Mika Mantylä

  págs. 283-292

  

Session 11: Search-Based Approaches

• Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles

  Simon Poulding, Hélène Waeselynck

  págs. 293-302

  

• Multi-Objective Test Suite Optimization for Incremental Product Family Testing

  Sascha Lity, Malte Lochau, Ina Schaefer, Hauke Baller

  págs. 303-312

  

• SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software

  Myra B. Cohen, Gregg Rothermel, Tingting Yu, Witawas Srisa-an

  págs. 313-322

  

Session 12: Empirical and Industrial Studies

• T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols

  Martin Svensson, Magnus Almgren, Vincenzo Gulisano

  págs. 323-332

  

• Validation of Software Testing Experiments. A Meta-Analysis of ICST 2013

  A. C. Bathke, Mark Hays, Jane Huffman Hayes

  págs. 333-342

  

• Do System Test Cases Grow Old?

  Robert Feldt

  págs. 343-352

  

Session 13: Model-Based Testing

• Model-based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results

  Shaukat Ali, Hadi Hemmati

  págs. 353-362

  

• An Empirical Analysis of Test Oracle Strategies for Model-based Testing

  Nan Li, Jeff Offutt

  págs. 363-372

  

• Compositional Specifications for ioco Testing

  Willibald Krenn, Dejan Ni¡ckovicc

  págs. 373-382

  

Author Index