Abstract is missing.
- Path-Based System Level Stimuli GenerationShady Copty, Itai Jaeger, Yoav Katz. 1-13 [doi]
- The Safety Simple SubsetShoham Ben-David, Dana Fisman, Sitvanit Ruah. 14-29 [doi]
- A Case for Runtime Validation of HardwareSharad Malik. 30-42 [doi]
- Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case StudyMilind Kulkarni, J. Benita Bommi. 43-55 [doi]
- Simultaneous SAT-Based Model Checking of Safety PropertiesZurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna. 56-75 [doi]
- HaifaSat: A New Robust SAT SolverRoman Gershman, Ofer Strichman. 76-89 [doi]
- Production-Testing of Embedded Systems with AspectsJani Pesonen, Mika Katara, Tommi Mikkonen. 90-102 [doi]
- Assisting the Code Review Process Using Simple Pattern RecognitionEitan Farchi, Bradley R. Harrington. 103-115 [doi]
- An Extensible Open-Source Compiler Infrastructure for TestingDaniel J. Quinlan, Shmuel Ur, Richard W. Vuduc. 116-133 [doi]
- Effective Black-Box Testing with Genetic AlgorithmsMark Last, Shay Eyal, Abraham Kandel. 134-148 [doi]
- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured DomainsYosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon. 149-157 [doi]
- Benchmarking and Testing OSD for Correctness and ComplianceDalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe. 158-176 [doi]
- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed SystemsRoberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, Taisy Silva Weber. 177-190 [doi]
- Detecting Potential Deadlocks with Static Analysis and Run-Time MonitoringRahul Agarwal, Liqiang Wang, Scott D. Stoller. 191-207 [doi]
- Dynamic Deadlock Analysis of Multi-threaded ProgramsSaddek Bensalem, Klaus Havelund. 208-223 [doi]
- Verification of the Java Causality RequirementsSergey Polyakov, Assaf Schuster. 224-246 [doi]
- Choosing Among Alternative FuturesSteve MacDonald, Jun Chen, Diego Novillo. 247-264 [doi]