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
See us on Linked In See us on Facebook