Accepted Papers

• Oleg Travkin, Annika Mütze and Heike Wehrheim,
  SPIN as a linearizability checker under weak memory models
• Emmanuel Sifakis and Mounier Laurent,
  Predictive taint analysis for extended testing of parallel executions
• Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe and Mitsuharu Yamamoto,
  MBTest: A Model-based API Tester for Event-driven Systems
• Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene,
  Online testing of LTL properties for Java code
• Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif,
  Formal Specification of an Erase Block Management Layer for Flash Memory
• Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi and Alexander von Rhein,
  Domain Types: Selecting Abstractions Based on Variable Usage
• Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron Peled and Jean Quilbeuf,
  Performance Evaluation of Process Partitioning using Probabilistic Model Checking
• Sitvanit Ruah, Hana Chockler and Dmitry Pidan,
  Improving Representative Computation in ExpliSAT (Tools and experience paper)
• Tao Su, John Lyle, Andrea Atzeni, Shamal Faily, Habib Virji, Christos Ntanos and Christos Botsikas,
  Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project (Tools and experience paper)
• Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry and Richard D. Peterson,
  SLAM: SLice And Merge – Effective Test Generation for Large Systems
• Sunha Ahn and Sharad Malik,
  Modeling Firmware as Service Functions and Its Application to Test Generation
• Maciej Ciesielski, Walter Brown and Andre Rossi,
  Arithmetic Bit-level Verification using Network Flow Model
• Amir Nahir, Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa and Vitali Sokhin,
  Improving Post-Silicon Validation Efficiency by Using Pre-Generated Data
• Shoham Ben-David, Hana Chockler and Orna Kupferman,
  Attention-based Coverage Metrics
• Anand Yeolekar and Divyesh Unadkat,
  Assertion Checking using Dynamic Inference
• Sabrina Von Styp and Liyong Yu,
  Symbolic Model-Based Testing for Industrial Automation Software
• Tim Lange, Martin Neuhäußer and Thomas Noll,
  Speeding Up the Safety Verification of Programmable Logic Controller Code
• Tuomas Kuismin Increasing Confidence in Liveness Model Checking Results with Proofs
• Michael Codish, Yoav Fekete and Amit Metodi Backbones for Equality
• Tamer Salman, Allon Adir, Lev Greenberg, Andreas Abel and Torsten Blochwitz,
  Development and Verification of Complex Hybrid Systems using Synthesizable Monitors
• Marco Bozzano, Alessandro Cimatti and Cristian Mattarei,
  Efficient Analysis of Reliability Architectures via Predicate Abstraction
• Guodong Li and Indradeep Ghosh,
  PASS: String Solving with Parameterized Array and Interval Automaton
• Guodong Li and Indradeep Ghosh,
  Lazy Symbolic Execution through Abstraction and Sub-Space Search