Hardware and Software, Verification and Testing

1. Front Matter

   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

   PDF

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.

• Compiler
• Debugging
• Java
• algorithmic debugging
• algorithms
• distributed systems
• embedded systems
• formal verification
• genetic algorithms
• model checking
• model-based testing
• runtime validation
• software testing
• systems analysis
• verification

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

  Eyal Bin

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

  Yaron Wolfsthal

Policies and ethics