default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. Haifa Verification Conference 2005: Haifa, Israel
- Shmuel Ur, Eyal Bin, Yaron Wolfsthal:
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 V. Polyakov, Assaf Schuster:
Verification of the Java Causality Requirements. 224-246 - Steve MacDonald, Jun Chen, Diego Novillo:
Choosing Among Alternative Futures. 247-264
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
