Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, Author: Warren A. Hunt
Title: Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Author: Karen Yorav
Title: Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement, Author: Jeff Tian
Title: PDCA/Test, Author: William Lewis
Title: Software Testing: A Self-Teaching Introduction, Author: Rajiv Chopra
Title: Test Automation: A Manager's Guide, Author: Boby Jose
Title: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López
Title: Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings, Author: Alfred Strohmeier
Title: ISO 29119 - Die Softwaretest-Normen verstehen und anwenden, Author: Matthias Daigl

Pagination Links