| 2014 | An All-in-One Toolkit for Automated White-Box Testing. | Sbastien Bardin, Omar Chebaro, Mickal Delahaye, Nikolai Kosmatov |
| 2014 | An Abstraction Technique for Testing Decomposable Systems by Model Checking. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2014 | Computing with an SMT Solver. | Nada Amin, K. Rustan M. Leino, Tiark Rompf |
| 2014 | Model-Based Mutation Testing of an Industrial Measurement Device. | Bernhard K. Aichernig, Jakob Auer, Elisabeth Jbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt |
| 2013 | Divergent Quiescent Transition Systems. | Willem Gerrit Johan Stokkink, Mark Timmer, Marille Stoelinga |
| 2013 | Solving Constraints for Generational Search. | Daniel Ptzl, Andreas Holzer |
| 2013 | Evaluation of ASLan Mutation Operators. | Johan Oudinet, Alberto Calvi, Matthias Bchler |
| 2013 | A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper. | Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
| 2013 | Generating Test Suites with Augmented Dynamic Symbolic Execution. | Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux |
| 2013 | Speeding Up Algorithmic Debugging Using Balanced Execution Trees. | David Insa, Josep Silva, Adrin Riesco |
| 2013 | Initiating a Benchmark for UML and OCL Analysis Tools. | Martin Gogolla, Fabian Bttner, Jordi Cabot |
| 2013 | A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2013 | Test Program Generation for a Microprocessor - A Case-Study. | Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff |
| 2013 | A Metric for Testing Program Verification Systems. | Bernhard Beckert, Thorsten Bormer, Markus Wagner |
| 2013 | Model-Based Testing for Verification Back-Ends. | Cyrille Artho, Armin Biere, Martina Seidl |
| 2013 | Time for Mutants - Model-Based Mutation Testing with Timed Automata. | Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic |
| 2013 | Incremental Refinement Checking for Test Case Generation. | Bernhard K. Aichernig, Elisabeth Jbstl, Matthias Kegele |
| 2012 | Constructive Finite Trace Analysis with Linear Temporal Logic. | Martin Sulzmann, Axel Zechner |
| 2012 | Generation of Test Data Structures Using Constraint Logic Programming. | Valerio Senni, Fabio Fioravanti |
| 2012 | Combining Model Checking and Symbolic Execution for Software Testing. | Corina S. Pasareanu |
| 2012 | Incremental Model-Based Testing of Delta-Oriented Software Product Lines. | Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity |
| 2012 | Conformance Relations for Labeled Event Structures. | Hernn Ponce de Len, Stefan Haar, Delphine Longuet |
| 2012 | The Technology and Psychology of Testing Your Code as You Develop It. | Andreas Kuehlmann |
| 2012 | A Lesson on Structural Testing with PathCrawler-online.com. | Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro |
| 2012 | Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract). | Nikolai Kosmatov, Nicky Williams |