| 2011 | Munch: An Efficient Modularisation Strategy to Assess the Degree of Refactoring on Sequential Source Code Checkings. | Mahir Arzoky, Stephen Swift, Allan Tucker, James Cain |
| 2011 | Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. | Stephan Arlt, Cristiano Bertolini, Martin Schf |
| 2011 | Defining and Matching Test-Based Certificates in Open SOA. | Marco Anisetti, Claudio A. Ardagna, Ernesto Damiani |
| 2011 | Compression Strategies for Passive Testing. | Csar Andrs, Luis Llana |
| 2011 | Abstracting Time and Data for Conformance Testing of Real-Time Systems. | Wilkerson de L. Andrade, Patrcia D. L. Machado, Thierry Jron, Herv Marchand |
| 2011 | Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract. | M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen |
| 2011 | A GUI Crawling-Based Technique for Android Mobile Application Testing. | Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana |
| 2011 | Efficient Mutation Killers in Action. | Bernhard K. Aichernig, Harald Brandl, Elisabeth Jbstl, Willibald Krenn |
| 2010 | Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista. | Thomas Zimmermann, Nachiappan Nagappan, Laurie A. Williams |
| 2010 | Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. | Ruilian Zhao, Mark Harman, Zheng Li |
| 2010 | On Modeling of GUI Test Profile. | Lei Zhao, Kai-Yuan Cai |
| 2010 | Metamorphic Testing of Stochastic Optimisation. | Shin Yoo |
| 2010 | Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach. | Thaise Yano, Eliane Martins, Fabiano Luis de Sousa |
| 2010 | A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information. | Shali Yan, Zhenyu Chen, Zhihong Zhao, Chen Zhang, Yuming Zhou |
| 2010 | Prioritizing State-Based Aspect Tests. | Dianxiang Xu, Junhua Ding |
| 2010 | Generating Distinguishing Tests Using the Minion Constraint Solver. | Franz Wotawa, Mihai Nica, Bernhard K. Aichernig |
| 2010 | Considering Signal Constraints in Search-Based Testing of Continuous Systems. | Benjamin Wilmes, Andreas Windisch |
| 2010 | We're Finding Most of the Bugs, but What are We Missing?. | Elaine J. Weyuker, Robert M. Bell, Thomas J. Ostrand |
| 2010 | Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach. | Kristopher Welsh, Peter Sawyer |
| 2010 | Simulated Satisfaction of Coverage Criteria on UML State Machines. | Stephan Weileder |
| 2010 | Satisfying Test Preconditions through Guided Object Selection. | Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol |
| 2010 | Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool. | Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener |
| 2010 | Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems. | Diana Elena Vega |
| 2010 | Rex: Symbolic Regular Expression Explorer. | Margus Veanes, Peli de Halleux, Nikolai Tillmann |
| 2010 | Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies. | Yves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry |