| 2019 | BTestBox: A Tool for Testing B Translators and Coverage of B Models. | Diego de Azevedo Oliveira, Valrio Medeiros Jr., David Dharbe, Martin A. Musicante |
| 2019 | Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. | Eric Lavillonnire, David Mentr, Denis Cousineau |
| 2019 | Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? | Timotej Kapus, Martin Nowack, Cristian Cadar |
| 2019 | Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. | Aurlie Hurault, Philippe Quinnec |
| 2019 | Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. | Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt |
| 2019 | A Dynamic Epistemic Logic Analysis of the Equality Negation Task. | ric Goubault, Marijana Lazic, Jrmy Ledent, Sergio Rajsbaum |
| 2019 | On the Construction of Multi-valued Concurrent Dynamic Logics. | Leandro Gomes |
| 2019 | Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. | Raul Fervari, Francisco Trucco, Beta Ziliani |
| 2019 | A Four-Valued Hybrid Logic with Non-dual Modal Operators. | Diana Costa, Manuel A. Martins |
| 2019 | Testing Robots Using CSP. | Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru |
| 2019 | Resource Separation in Dynamic Logic of Propositional Assignments. | Joseph Boudou, Andreas Herzig, Nicolas Troquard |
| 2019 | Coverage-Based Testing with Symbolic Transition Systems. | Petra van den Bos, Jan Tretmans |
| 2019 | The Logic of AGM Learning from Partial Observations. | Alexandru Baltag, Aybke zgn, Ana Lucia Vargas Sandoval |
| 2019 | Property-Based Test Case Generators for Free. | Emanuele De Angelis, Fabio Fioravanti, Adrin Palacios, Alberto Pettorossi, Maurizio Proietti |
| 2019 | Repairing Timed Automata Clock Guards through Abstraction and Testing. | tienne Andr, Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
| 2019 | Predicting and Testing Latencies with Deep Learning: An IoT Case Study. | Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm |
| 2019 | Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings. | Aldo Ivn Ramrez Abarca, Jan M. Broersen |
| 2019 | When Are Software Verification Results Valid for Approximate Hardware? | Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim |
| 2018 | Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles |
| 2018 | Ghosts for Lists: From Axiomatic to Executable Specifications. | Frdric Loulergue, Allan Blanchard, Nikolai Kosmatov |
| 2018 | Verification Coverage for Combining Test and Proof. | Viet Hoang Le, Loc Correnson, Julien Signoles, Virginie Wiels |
| 2018 | Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL. | Chantal Keller |
| 2018 | Under-Approximation Generation Driven by Relevance Predicates and Variants. | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
| 2018 | Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. | Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2018 | Automated Test Case Generation for Java EE Based Web Applications. | Andreas Fuchs |