1. Haifa Verification Conference 2005: Haifa, Israel

Shmuel Ur, Eyal Bin, Yaron Wolfsthal (Eds.): Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3875 Springer 2006, ISBN 3-540-32604-9

Hardware Verification

Shady Copty, Itai Jaeger, Yoav Katz:
Path-Based System Level Stimuli Generation. 1-13
Shoham Ben-David, Dana Fisman, Sitvanit Ruah:
The Safety Simple Subset. 14-29
Sharad Malik:
A Case for Runtime Validation of Hardware. 30-42
Milind Kulkarni, J. Benita Bommi:
Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. 43-55
Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna:
Simultaneous SAT-Based Model Checking of Safety Properties. 56-75
Roman Gershman, Ofer Strichman:
HaifaSat: A New Robust SAT Solver. 76-89

Software Testing

Jani Pesonen, Mika Katara, Tommi Mikkonen:
Production-Testing of Embedded Systems with Aspects. 90-102
Eitan Farchi, Bradley R. Harrington:
Assisting the Code Review Process Using Simple Pattern Recognition. 103-115
Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc:
An Extensible Open-Source Compiler Infrastructure for Testing. 116-133
Mark Last, Shay Eyal, Abraham Kandel:
Effective Black-Box Testing with Genetic Algorithms. 134-148
Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon:
Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. 149-157
Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe:
Benchmarking and Testing OSD for Correctness and Compliance. 158-176

PADTAD

Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, Taisy Silva Weber:
A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems. 177-190
Rahul Agarwal, Liqiang Wang, Scott D. Stoller:
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. 191-207
Saddek Bensalem, Klaus Havelund:
Dynamic Deadlock Analysis of Multi-threaded Programs. 208-223
Sergey Polyakov, Assaf Schuster:
Verification of the Java Causality Requirements. 224-246
Steve MacDonald, Jun Chen, Diego Novillo:
Choosing Among Alternative Futures. 247-264