| 2016 | Monadic Sequence Testing and Explicit Test-Refinements. | Achim D. Brucker, Burkhart Wolff |
| 2015 | Coverage of OCL Operation Specifications and Invariants. | Mathias Soeken, Julia Seiter, Rolf Drechsler |
| 2015 | Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. | Anamaria Martins Moreira, Cleverton Hentz, David Dharbe, Ernesto Cid Brasil de Matos, Joo Batista de Souza Neto, Valrio de Medeiros Jr. |
| 2015 | Testing Functional Requirements in UML Activity Diagrams. | Stefan Mijatov, Tanja Mayerhofer, Philip Langer, Gerti Kappel |
| 2015 | Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy. | Felix Hbner, Wen-ling Huang, Jan Peleska |
| 2015 | A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. | Olga Grinchtein, Mats Carlsson, Justin Pearson |
| 2015 | Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier |
| 2015 | Sequential Generation of Structured Arrays and Its Deductive Verification. | Richard Genestier, Alain Giorgetti, Guillaume Petiot |
| 2015 | Software Validation via Model Animation. | Aaron Dutle, Csar A. Muoz, Anthony Narkawicz, Ricky W. Butler |
| 2015 | Case Study: Automatic Test Case Generation for a Secure Cache Implementation. | Roderick Bloem, Daniel M. Hein, Franz Rck, Richard Schumi |
| 2015 | Fast Model-Based Fault Localisation with Test Suites. | Geoff Birch, Bernd Fischer, Michael R. Poppleton |
| 2015 | Test Case Generation for Concurrent Systems Using Event Structures. | Konstantinos Athanasiou, Hernn Ponce de Len, Stefan Schwoon |
| 2015 | Scalable Incremental Test-case Generation from Large Behavior Models. | Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran |
| 2014 | How Test Generation Helps Software Specification and Deductive Verification in Frama-C. | Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2014 | Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. | Felix Kurth, Sibylle Schupp, Stephan Weileder |
| 2014 | Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis. | Nikolai Kosmatov, Julien Signoles |
| 2014 | A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing. | Nikolai Kosmatov, Matthieu Lemerre, Cline Alec |
| 2014 | Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. | Johannes Kanig, Roderick Chapman, Cyrille Comar, Jrme Guitton, Yannick Moy, Emyr Rees |
| 2014 | JTACO: Test Execution for Faster Bounded Verification. | Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller |
| 2014 | Lightweight State Capturing for Automated Testing of Multithreaded Programs. | Kari Khknen, Keijo Heljanko |
| 2014 | Generating Classified Parallel Unit Tests. | Ali Jannesari, Nico Koprowski, Jochen Schimmel, Felix Wolf |
| 2014 | Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. | Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille |
| 2014 | Visualizing Unbounded Symbolic Execution. | Martin Hentschel, Reiner Hhnle, Richard Bubel |
| 2014 | Quality Assurance in MBE Back and Forth. | Sebastian Gabmeyer |
| 2014 | Behaviour Driven Development for Tests and Verification. | Melanie Diepenbeck, Ulrich Khne, Mathias Soeken, Rolf Drechsler |