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