Accepted Papers
- David Landsberg, Hana Chockler and Daniel Kroening
Probabilistic Fault Localisation
- Nikolaj Bjorner, Garvit Juniwal, Sanjit A. Seshia, George Varghese and Ratul Mahajan
ddNF: An Efficient Data Structure for Header Spaces
- Egor George Karpenkov and David Monniaux
Formula Slicing: Inductive Invariants from Preconditions
- Lukas Holik, Michal Kotoun, Petr Peringer, Veronika Šoková, Marek Trtík and Tomas Vojnar
Predator Shape Analysis Tool Suite
- Massimo Benerecetti, Daniele Dell'Erba and Fabio Mogavero
Improving Priority Promotion for Parity Games
- Eli Arbel, Barak Erez, Bodo Hoppe, Udo Krautz, Shlomit Koyfman and Shiri Moran
Gating Aware Error injection
- Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli and Matthias Sauer
SAT-based Combinational and Sequential Dependency Computation
- Xiangyu Li, Marcelo d'Amorim and Alessandro Orso
Iterative User-Driven Fault Localization
- Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle and Bernd Becker
Advancing software model checking beyond linear arithmetic theories
- Wei Jin and Alessandro Orso
Improving Efficiency and Accuracy of Formula-based Debugging
- Laura Humphrey, Bettina Könighofer and Ufuk Topcu
Synthesis of Admissible Shields
- Fedor Shmarov and Paolo Zuliani
Probabilistic hybrid systems verification via SMT and Monte Carlo techniques
- Vincent Bloemen and Jaco van de Pol
Multi-core SCC-based LTL Model Checking
