Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: René Alt
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings, Author: Keith Hardy
Title: Learning Test-Driven Development: A Polyglot Guide to Writing Uncluttered Code, Author: Saleem Siddiqui
Title: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers, Author: Eyal Bin
Title: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science, Author: Mehmet Sahinoglu
Title: Software Quality Assurance: A Guide for Developers and Auditors, Author: Howard T. Garst Smith
Title: Metrics-Driven Enterprise Software Development: Effectively Meeting Evolving Business Needs, Author: Subhajit Datta
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
Title: Component-Based Software Testing with UML, Author: Hans-Gerhard Gross
Title: Software Testing for Managers: An Introduction to Strategies, Technologies, and Best Practices, Author: Ross Radford
Title: Program Verification: Fundamental Issues in Computer Science, Author: Timothy T.R. Colburn
Title: Artificial Intelligence Methods In Software Testing, Author: Mark Last
Title: Growing Object-Oriented Software, Guided by Tests, Author: Steve Freeman
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings, Author: Paolo Nesi
Title: Unit Testing in Java: How Tests Drive the Code, Author: Johannes Link
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Author: Anca Vermesan
Title: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
Title: Introduction to Software Testing, Author: Paul Ammann
Title: Essential Software Testing: A Use-Case Approach, Author: Greg Fournier

Pagination Links