| 2012 | A Technique for Agile and Automatic Interaction Testing for Product Lines. Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien |
| 2012 | Active Learning of Extended Finite State Machines. Frits W. Vaandrager |
| 2012 | CaPTIF: Comprehensive Performance TestIng Framework. Daniel A. Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer |
| 2012 | Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. Jörg Brauer, Jan Peleska, Uwe Schulze |
| 2012 | Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. Angelo Gargantini, Marco Guarnieri, Eros Magri |
| 2012 | Lightweight Automatic Error Detection by Monitoring Collar Variables. João A. M. Santos, Rui Abreu |
| 2012 | Machine Learning Approach in Mutation Testing. Joanna Strug, Barbara Strug |
| 2012 | Managing Execution Environment Variability during Software Testing: An Industrial Experience. Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb |
| 2012 | Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall |
| 2012 | Parameterized GUI Tests. Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski |
| 2012 | Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol. Nanxing Chen, César Viho |
| 2012 | Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution. Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino |
| 2012 | Querying Parametric Temporal Logic Properties on Embedded Systems. Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos |
| 2012 | Requirements-Driven Log Analysis (Extended Abstract). Klaus Havelund |
| 2012 | State Estimation and Property-Guided Exploration for Hybrid Systems Testing. Thao Dang, Noa Shalev |
| 2012 | Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings Brian Nielsen, Carsten Weise |
| 2012 | Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel |
| 2012 | Using Behaviour Inference to Optimise Regression Test Sets. Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick |
| 2012 | Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel |