default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. Haifa Verification Conference 2007: Haifa, Israel
- Karen Yorav:
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 A. 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
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-10-29 01:33 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:
