Skip to main content
SpringerLink
Log in
Book cover

Hardware and Software, Verification and Testing

First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Shmuel Ur
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eyal Bin

    1. IBM Labs, Haifa University, Mount Carmel, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Yaron Wolfsthal

    1. IBM Labs, Haifa University, Mount Carmel,, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: HVC 2005.

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 (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Hardware Verification

    1. Path-Based System Level Stimuli Generation

      • Shady Copty, Itai Jaeger, Yoav Katz
      Pages 1-13

    2. The Safety Simple Subset

      • Shoham Ben-David, Dana Fisman, Sitvanit Ruah
      Pages 14-29

    3. A Case for Runtime Validation of Hardware

      • Sharad Malik
      Pages 30-42

    4. Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study

      • Milind Kulkarni, Benita Bommi J.
      Pages 43-55

    5. Simultaneous SAT-Based Model Checking of Safety Properties

      • Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna
      Pages 56-75

    6. HaifaSat: A New Robust SAT Solver

      • Roman Gershman, Ofer Strichman
      Pages 76-89

  3. Software Testing

    1. Production-Testing of Embedded Systems with Aspects

      • Jani Pesonen, Mika Katara, Tommi Mikkonen
      Pages 90-102

    2. Assisting the Code Review Process Using Simple Pattern Recognition

      • Eitan Farchi, Bradley R. Harrington
      Pages 103-115

    3. An Extensible Open-Source Compiler Infrastructure for Testing

      • Dan Quinlan, Shmuel Ur, Richard Vuduc
      Pages 116-133

    4. Effective Black-Box Testing with Genetic Algorithms

      • Mark Last, Shay Eyal, Abraham Kandel
      Pages 134-148

    5. Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains

      • Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon
      Pages 149-157

    6. Benchmarking and Testing OSD for Correctness and Compliance

      • Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe
      Pages 158-176

  4. PADTAD

    1. A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems

      • Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, Taisy Silva Weber
      Pages 177-190

    2. Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring

      • Rahul Agarwal, Liqiang Wang, Scott D. Stoller
      Pages 191-207

    3. Dynamic Deadlock Analysis of Multi-threaded Programs

      • Saddek Bensalem, Klaus Havelund
      Pages 208-223

    4. Verification of the Java Causality Requirements

      • Sergey Polyakov, Assaf Schuster
      Pages 224-246

    5. Choosing Among Alternative Futures

      • Steve MacDonald, Jun Chen, Diego Novillo
      Pages 247-264

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Hardware and Software, Verification and Testing

Keywords

About this book

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.

Editors and Affiliations

  • IBM Labs, Haifa University, Mount Carmel, Haifa, Israel

    Eyal Bin

  • IBM Labs, Haifa University, Mount Carmel,, Haifa, Israel

    Yaron Wolfsthal

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation