2. Haifa Verification Conference 2006: Haifa, Israel

Eyal Bin, Avi Ziv, Shmuel Ur (Eds.): 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 BibTeX

Hardware Verification Track

Thomas Tuerk, Klaus Schneider, Mike Gordon:
Model Checking PSL Using HOL and SMV. 1-15
Electronic Edition (link) BibTeX
Amir Nahir, Yossi Shiloach, Avi Ziv:
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. 16-33
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler:
Automatic Fault Localization for Property Checking. 50-64
Electronic Edition (link) BibTeX
Tobias Schüle, Klaus Schneider:
Verification of Data Paths Using Unbounded Integers: Automata Strike Back. 65-80
Electronic Edition (link) BibTeX

Tools Track

Itai Yarom, Viji Patil:
Smart-Lint: Improving the Verification Flow. 81-91
Electronic Edition (link) BibTeX
Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak:
Model-Driven Development with the jABC. 92-108
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Shmuel Ur:
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. 122-123
Electronic Edition (link) BibTeX
Shmuel Ur, Elad Yom-Tov, Paul Wernick:
An Open Source Simulation Model of Software Development and Testing. 124-137
Electronic Edition (link) BibTeX

Software Testing Track

Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz:
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. 138-154
Electronic Edition (link) BibTeX
Stella Levin, Amiram Yehudai:
Evolutionary Testing: A Case Study. 155-165
Electronic Edition (link) BibTeX
Koushik Sen, Gul Agha:
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. 166-182
Electronic Edition (link) BibTeX
Yaniv Eytani, Timo Latvala:
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. 183-197
Electronic Edition (link) BibTeX
Michael Jackson:
Testing the Machine in the World. 198-203
Electronic Edition (link) BibTeX
Alan Hartman, Mika Katara, Sergey Olvovsky:
Choosing a Test Modeling Language: A Survey. 204-218
Electronic Edition (link) BibTeX
Mika Katara, Antti Kervinen:
Making Model-Based Testing More Agile: A Use Case Driven Approach. 219-234
Electronic Edition (link) BibTeX