Skip to main content
SpringerLink
Log in

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Valeria Bertacco

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Axel Legay

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8244)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: HVC 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter 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

  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
Back to top

Other volumes

  1. Hardware and Software: Verification and Testing

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation