Computer software, validation

How We Test Software at Microsoft® (Pro - Best Practices)

Ken Johnston, Alan Page

Verification and Validation of Rule-Based Expert Systems

Suzanne Smith, Abraham Kandel

EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP

Orlando Lopez

Trust and Trustworthy Computing: 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings

Thorsten Holz, Sotiris Ioannidis

Validation of Evolving Software

Leonardo Mariani, Natasha Sharygina, Hana Chockler, Daniel Kroening

Testing Dirty Systems

William Perry, Randall Rice

Trust and Trustworthy Computing: 8th International Conference, TRUST 2015, Heraklion, Greece, August 24-26, 2015, Proceedings

Mauro Conti, Ioannis Askoxylakis, Matthias Schunter

Methods and procedures for the verification and validation of artificial neural networks

edited by Brian J. Taylor

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Bernhard Steffen, Tiziana Margaria

Validation of Computerized Analytical and Networked Systems

Ludwig Huber