program‎ > ‎

Accepted Papers

  • Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sebastien Gaboury and Sylvain Hallé. Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring
  • Boyang Li, Mark Grechanik and Denys Poshyvanyk. Sanitizing And Minimizing Databases For Software Application Test Outsourcing
  • Marie-Laure Potet, Laurent Mounier and Maxime Puys. Lazart: a symbolic approach for evaluation the robustness of secured codes against control flow fault injection
  • Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara and Hironori Washizaki. Semi-automatic Incompatibility Localization for Re-engineered Industrial Software
  • Sebastien Bardin, Nikolai Kosmatov and François Cheynier. Efficient Leverage of Symbolic Execution to Advanced Coverage Criteria
  • Kristian Wiklund, Daniel Sundmark, Sigrid Eldh and Kristina Lundqvist. Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board
  • Shaukat Ali and Hadi Hemmati. Model-based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results
  • Simon Poulding and Helene Waeselynck. Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles
  • Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen and John Regehr. Cause Reduction for Quick Testing
  • Marko Misic, Iain Bethune and Milo Tomasevic. Automated regression testing and code coverage analysis of the CP2K application
  • Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra Cohen and Gregg Rothermel. Hybrid Directed Test Suite Augmentation: An Interleaving Framework
  • Christian Schwarzl and Harald Brandl. Model Dependent Test Coverage Variabilities
  • Sachin Patel and Ramesh Kumar Kollana. Test Case Reuse in Enterprise Software Implementation - An Experience Report
  • Andreas Demuth, Roberto E. Lopez-Herrejon and Alexander Egyed. Automatic and Incremental Product Optimization for Software Product Lines
  • Fatmah Assiri and James Bieman. An Assessment of the Quality of Automated Program Operator Repair
  • Marcio Eduardo Delamaro, Lin Deng, Nan Li, Vinicius Durelli and Jeff Offutt. Experimental Evaluation of SDL and One-Op Mutation for C
  • Shin Hong, Yongbae Park and Moonzoo Kim. Detecting Concurrency Errors in Client-side JavaScript Web Applications
  • Seokhyeon Mun, Yunho Kim, Moonzoo Kim and Shin Yoo. Ask the Mutants: Mutating Faulty Programs for Fault Localization
  • Emelie Engström, Mika Mäntylä, Per Runeson and Markus Borg. Supporting Regression Test Scoping with Visual Analytics
  • Ana B. Sánchez, Sergio Segura and Antonio Ruiz-Cortés. A Comparison of Test Case Prioritization Criteria for Software Product Lines
  • Hauke Baller, Sascha Lity, Malte Lochau and Ina Schaefer. Multi-Objective Test Suite Optimization for Incremental Product Family Testing
  • Chris Hunt, Guy Brown and Gordon Fraser. Automatic Testing of Natural User Interfaces
  • Paul Wojciak and Rachel Tzoref-Brill. System Level Combinatorial Testing in Practice – The Concurrent Maintenance Case Study
  • Mike Papadakis, Christopher Henard and Yves Le Traon. Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing
  • Giovanni Denaro, Mauro Pezze' and Mattia Vivanti. On the Right Objectives of Data Flow Testing
  • Marcio Eduardo Delamaro, Paul Ammann and Jeff Offutt. Designing Deletion Mutation Operators
  • Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso and Paolo Tonella. Reproducing Field Failures for Programs with Complex Grammar Based Input
  • Roberto Paulo Andrioli de Araujo and Marcos Lordello Chaim. Data-flow Testing in the Large
  • Nan Li and Jeff Offutt. An Empirical Analysis of Test Oracle Strategies for Model-based Testing
  • Hartmut Lackner, Martin Thomas, Florian Wartenberg and Stephan Weissleder. Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level
  • Stephan Weissleder and Holger Schlingloff. An Evaluation of Model-Based Testing in Embedded Applications
  • Przemyslaw Daca, Thomas Henzinger, Willibald Krenn and Dejan Nickovic. Compositional Specifications for IOCO Testing
  • Razieh Nokhbeh Zaeem, Mukul Prasad and Sarfraz Khurshid. Automated Generation of Oracles for Testing User-interaction Features of Mobile Apps
  • William Johansson, Martin Svensson, Ulf Larson, Magnus Almgren and Vincenzo Gulisano. T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols
  • Tingting Yu, Witawas Srisa-An, Myra B. Cohen and Gregg Rothermel. SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software
  • Mark Hays, Jane Hayes and Arne Bathke. Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013
  • Abdulbaki Aydin, Muath Alkhalaf and Tevfik Bultan. Automated Test Generation from Vulnerability Signatures
  • Paul Ammann, Marcio Eduardo Delamaro and Jeff Offutt. Establishing Theoretical Minimal Sets of Mutants
  • Robert Feldt. Do System Test Cases Grow Old?
  • Marius Marin. A data-agnostic approach to automatic testing of multi-dimensional databases
Comments