| 2010 | Syntactic Abstraction of B Models to Generate Tests. | Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bu, Pierre-Alain Masson |
| 2010 | Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding. | Eugene Goldberg, Panagiotis Manolios |
| 2010 | Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. | Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
| 2010 | Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. | Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai |
| 2010 | How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. | Michael D. Ernst |
| 2010 | QuickSpec: Guessing Formal Specifications Using Testing. | Koen Claessen, Nicholas Smallbone, John Hughes |
| 2010 | Combining Static Analysis and Test Generation for C Program Debugging. | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2010 | Building a Test-Ready Abstraction of a Behavioral Model Using CLP. | Pierre-Christophe Bu, Frdric Dadeau, Adrien De Kermadec, Fabrice Bouquet |
| 2010 | Proof Process Evaluation with Mutation Analysis. | Lydie du Bousquet, Michel Lvy |
| 2010 | Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions. | Jasmin Christian Blanchette |
| 2010 | Testing First-Order Logic Axioms in Program Verification. | Ki Yung Ahn, Ewen Denney |
| 2009 | Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. | Stefan Ratschan, Jan-Georg Smaus |
| 2009 | Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables. | Nicolas Rapin |
| 2009 | Verification, Testing and Statistics. | Aditya V. Nori, Sriram K. Rajamani |
| 2009 | Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. | Paula Herber, Florian Friedemann, Sabine Glesner |
| 2009 | Dynamic Symbolic Execution for Testing Distributed Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2009 | Consistency, Independence and Consequences in UML and OCL Models. | Martin Gogolla, Mirco Kuhlmann, Lars Hamann |
| 2009 | Could We Have Chosen a Better Loop Invariant or Method Contract?. | Christoph Gladisch |
| 2009 | Complementary Criteria for Testing Temporal Logic Properties. | Gordon Fraser, Franz Wotawa |
| 2009 | Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization. | Yalda Fazlalizadeh, Alireza Khalilian, Mohammad Abdollahi Azgomi, Saeed Parsa |
| 2009 | Security Testing and Formal Methods for High Levels Certification of Smart Cards. | Boutheina Chetali |
| 2009 | Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. | Andrea Calvagna, Angelo Gargantini |
| 2009 | Development of a Generic Voter under FoCal. | Philippe Ayrault, Thrse Hardin, Franois Pessaux |
| 2008 | What Can Fault Prediction Do for YOU?. | Elaine J. Weyuker, Thomas J. Ostrand |
| 2008 | Non-termination Checking for Imperative Programs. | Helga Velroyen, Philipp Rmmer |