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 
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
Last update Mon May 20 23:09:27 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
