| 2012 | Testing Library Specifications by Verifying Conformance Tests. | Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland |
| 2012 | A Framework for the Specification of Random SAT and QSAT Formulas. | Nadia Creignou, Uwe Egly, Martina Seidl |
| 2012 | Test Generation from Recursive Tiles Systems. | Sbastien Chdor, Thierry Jron, Christophe Morvan |
| 2012 | A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
| 2012 | Evaluating and Debugging OCL Expressions in UML Models. | Jens Brning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
| 2012 | Towards Scenario-Based Testing of UML Diagrams. | Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer |
| 2012 | Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. | Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias |
| 2012 | From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. | Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti |
| 2011 | Lightweight Testing of Communication Networks with | Javier Troya, Jos Mara Bautista, Fernando Lpez-Romero, Antonio Vallecillo |
| 2011 | State Coverage Metrics for Specification-Based Testing with Bchi Automata. | Li Tan |
| 2011 | Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. | Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2011 | Incremental Learning-Based Testing for Reactive Systems. | Karl Meinke, Muddassar A. Sindhu |
| 2011 | A Random Testing Approach Using Pushdown Automata. | Pierre-Cyrille Ham, Catherine Masson |
| 2011 | Tests from Proofs. | Patrice Godefroid |
| 2011 | Checking Models, Proving Programs, and Testing Systems. | Marie-Claude Gaudel |
| 2011 | Correct Code Containing Containers. | Claire Dross, Jean-Christophe Fillitre, Yannick Moy |
| 2011 | Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. | Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2011 | The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2011 | Association of Under-Approximation Techniques for Generating Tests from Models. | Pierre-Christophe Bu, Jacques Julliand, Pierre-Alain Masson |
| 2011 | Security Mutants for Property-Based Testing. | Matthias Bchler, Johan Oudinet, Alexander Pretschner |
| 2011 | Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. | Lina Bentakouk, Pascal Poizat, Fatiha Zadi |
| 2011 | Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. | Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti |
| 2010 | DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. | Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth |
| 2010 | Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications. | Vlad Rusu |
| 2010 | Myths in Software Engineering: From the Other Side. | Nachiappan Nagappan |