Hardware and Software: Verification and Testing

1. Front Matter

   PDF

2. Session 1: SAT and SMT-Based Verification

   1. Backbones for Equality

      • Michael Codish, Yoav Fekete, Amit Metodi

      Pages 1-14

   2. PASS: String Solving with Parameterized Array and Interval Automaton

      • Guodong Li, Indradeep Ghosh

      Pages 15-31

   3. Increasing Confidence in Liveness Model Checking Results with Proofs

      • Tuomas Kuismin, Keijo Heljanko

      Pages 32-43

   4. Speeding Up the Safety Verification of Programmable Logic Controller Code

      • Tim Lange, Martin R. Neuhäußer, Thomas Noll

      Pages 44-60

3. Session 2: Software Testing I

   1. Modeling Firmware as Service Functions and Its Application to Test Generation

      • Sunha Ahn, Sharad Malik

      Pages 61-77

   2. Symbolic Model-Based Testing for Industrial Automation Software

      • Sabrina von Styp, Liyong Yu

      Pages 78-94

4. Session 3: Software Testing II

   1. Online Testing of LTL Properties for Java Code

      • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

      Pages 95-111

   2. Modbat: A Model-Based API Tester for Event-Driven Systems

      • Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe et al.

      Pages 112-128

   3. Predictive Taint Analysis for Extended Testing of Parallel Executions

      • Emmanuel Sifakis, Laurent Mounier

      Pages 129-144

   4. Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project

      • Tao Su, John Lyle, Andrea Atzeni, Shamal Faily, Habib Virji, Christos Ntanos et al.

      Pages 145-150

5. Session 4: Supporting Dynamic Verification

   1. SLAM: SLice And Merge - Effective Test Generation for Large Systems

      • Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson

      Pages 151-165

   2. Improving Post-silicon Validation Efficiency by Using Pre-generated Data

      • Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin

      Pages 166-181

   3. Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors

      • Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman

      Pages 182-198

   4. Assertion Checking Using Dynamic Inference

      • Anand Yeolekar, Divyesh Unadkat

      Pages 199-213

6. Session 5: Specification and Coverage

   1. Formal Specification of an Erase Block Management Layer for Flash Memory

      • Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif

      Pages 214-229

   2. Attention-Based Coverage Metrics

      • Shoham Ben-David, Hana Chockler, Orna Kupferman

      Pages 230-245

7. Keynote Presentation

   1. Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming

      • Gal Katz, Doron Peled

      Pages 246-261

8. Session 6: Abstraction

   1. Domain Types: Abstract-Domain Selection Based on Variable Usage

      • Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein

      Pages 262-278

   2. Efficient Analysis of Reliability Architectures via Predicate Abstraction

      • Marco Bozzano, Alessandro Cimatti, Cristian Mattarei

      Pages 279-294

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

• Web-based software infrastructure
• automated testing
• formal verification
• model checking
• simulation

• Department of Electrical Engineering and Computer Science, CSE #4645 - ACAL Lab, University of Michigan, Ann Arbor, USA

  Valeria Bertacco

• Inventors for the Digital World, inria, Bat C, Burean C213, Rennes Cedex, France

  Axel Legay

Policies and ethics