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