Shmuel Ur, Eyal Bin, Yaron Wolfsthal (Eds.):
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3875 Springer 2006, ISBN 3-540-32604-9 BibTeX
Hardware Verification
Software Testing
- Jani Pesonen, Mika Katara, Tommi Mikkonen:
Production-Testing of Embedded Systems with Aspects.
90-102
Electronic Edition (link) BibTeX
- Eitan Farchi, Bradley R. Harrington:
Assisting the Code Review Process Using Simple Pattern Recognition.
103-115
Electronic Edition (link) BibTeX
- Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc:
An Extensible Open-Source Compiler Infrastructure for Testing.
116-133
Electronic Edition (link) BibTeX
- Mark Last, Shay Eyal, Abraham Kandel:
Effective Black-Box Testing with Genetic Algorithms.
134-148
Electronic Edition (link) BibTeX
- Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon:
Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.
149-157
Electronic Edition (link) BibTeX
- Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe:
Benchmarking and Testing OSD for Correctness and Compliance.
158-176
Electronic Edition (link) BibTeX
PADTAD
Copyright © Sat May 16 23:15:30 2009
by Michael Ley (ley@uni-trier.de)
