3. Haifa Verification Conference 2007: Haifa, Israel

Karen Yorav (Ed.): Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Lecture Notes in Computer Science 4899 Springer 2008, ISBN 978-3-540-77964-3

Invited Talks

Alan J. Hu:
Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless. 1-7
Robert P. Kurshan:
Scaling Commercial Verification to Larger Systems. 8-13
Aarti Gupta:
From Hardware Verification to Software Verification: Re-use and Re-learn. 14-15
Andreas Zeller:
Where Do Bugs Come from? 16

HVC Award

Corina S. Pasareanu, Willem Visser:
Symbolic Execution and Model Checking for Testing. 17-18

Hardware Verification

Dana Fisman:
On the Characterization of Until as a Fixed Point Under Clocked Semantics. 19-33
Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta:
Reactivity in SystemC Transaction-Level Models. 34-50

Model Checking

Ales Smrcka, Tomás Vojnar:
Verifying Parametrised Hardware Designs Via Counter Automata. 51-68
David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev:
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. 69-85

Dynamic Hardware Verification

Anna Moss:
Constraint Patterns and Search Procedures for CP-Based Random Test Generation. 86-103
Laurent Fournier, Avi Ziv:
Using Virtual Coverage to Hit Hard-To-Reach Events. 104-119

Merging Formal and Testing

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck:
Test Case Generation for Ultimately Periodic Paths. 120-135
Harald Raffelt, Bernhard Steffen, Tiziana Margaria:
Dynamic Testing Via Automata Learning. 136-152

Formal Verification for Software

Mark A. Hillebrand, Wolfgang J. Paul:
On the Architecture of System Verification Environments. 153-168
Domagoj Babic, Alan J. Hu:
Exploiting Shared Structure in Software Verification Conditions. 169-184
Thomas Noll, Bastian Schlich:
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. 185-201
Gérard Basler, Daniel Kroening, Georg Weissenbacher:
A Complete Bounded Model Checking Algorithm for Pushdown Systems. 202-217

Software Testing

Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai:
Locating Regression Bugs. 218-234
Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov:
The Advantages of Post-Link Code Coverage. 235-251
Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai:
GenUTest: A Unit Test and Mock Aspect Generation Tool. 252-266