Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec (Paperback, 2006)

Hardware Verification.- Path-Based System Level Stimuli Generation.- The Safety Simple Subset.- A Case for Runtime Validation of Hardware.- Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study.- Simultaneous SAT-Based Model Checking of Safety Properties.- HaifaSat: A New Robust SAT Solver.- Software Testing.- Production-Testing of Embedded Systems with Aspects.- Assisting the Code Review Process Using Simple Pattern Recognition.- An Extensible Open-Source Compiler Infrastructure for Testing.- Effective Black-Box Testing with Genetic Algorithms.- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.- Benchmarking and Testing OSD for Correctness and Compliance.- PADTAD.- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems.- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.- Dynamic Deadlock Analysis of Multi-threaded Programs.- Verification of the Java Causality Requirements.- Choosing Among Alternative Futures.