default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. Haifa Verification Conference 2006: Haifa, Israel
- Eyal Bin, Avi Ziv, Shmuel Ur:
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Lecture Notes in Computer Science 4383, Springer 2007, ISBN 978-3-540-70888-9
Hardware Verification Track
- Thomas Tuerk, Klaus Schneider
, Mike Gordon:
Model Checking PSL Using HOL and SMV. 1-15 - Amir Nahir, Yossi Shiloach, Avi Ziv:
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. 16-33 - Onur Guzey, Charles H.-P. Wen, Li-C. Wang, Tao Feng, Hillel Miller, Magdy S. Abadir:
Extracting a Simplified View of Design Functionality Based on Vector Simulation. 34-49 - Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler:
Automatic Fault Localization for Property Checking. 50-64 - Tobias Schüle, Klaus Schneider:
Verification of Data Paths Using Unbounded Integers: Automata Strike Back. 65-80
Tools Track
- Itai Yarom, Viji Patil:
Smart-Lint: Improving the Verification Flow. 81-91 - Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak:
Model-Driven Development with the jABC. 92-108 - Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia:
Detecting Design Flaws in UML State Charts for Embedded Software. 109-121 - Shmuel Ur:
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. 122-123 - Shmuel Ur, Elad Yom-Tov, Paul Wernick:
An Open Source Simulation Model of Software Development and Testing. 124-137
Software Testing Track
- Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz:
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. 138-154 - Stella Levin, Amiram Yehudai:
Evolutionary Testing: A Case Study. 155-165 - Koushik Sen, Gul Agha:
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. 166-182 - Yaniv Eytani, Timo Latvala:
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. 183-197 - Michael Jackson:
Testing the Machine in the World. 198-203 - Alan Hartman, Mika Katara, Sergey Olvovsky:
Choosing a Test Modeling Language: A Survey. 204-218 - Mika Katara, Antti Kervinen:
Making Model-Based Testing More Agile: A Use Case Driven Approach. 219-234
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-03-21 23:48 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:
