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 BibTeX
Invited Talks
HVC Award
Hardware Verification
Model Checking
Dynamic Hardware Verification
Merging Formal and Testing
Formal Verification for Software
Software Testing
- Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai:
Locating Regression Bugs.
218-234
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai:
GenUTest: A Unit Test and Mock Aspect Generation Tool.
252-266
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:15:31 2009
by Michael Ley (ley@uni-trier.de)