Contents
Academic literature on the topic 'Software testing, verification and validation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Software testing, verification and validation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Books on the topic "Software testing, verification and validation"
Haug, Michael, Eric W. Olsen, and Luisa Consolini, eds. Software Quality Approaches: Testing, Verification, and Validation. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7.
Full textHaug, Michael. Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1. Springer Berlin Heidelberg, 2001.
Find full textSpecification by example: How successful teams deliver the right software. Manning, 2011.
Find full textBach, James. Lessons learned in software testing: A context-driven approach. Wiley, 2002.
Find full textWorkshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.). Formal methods for trustworthy computer systems (FM89): Report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada. Edited by Craigen Dan 1953- and Summerskill Karen 1958-. Springer-Verlag, 1990.
Find full textIEEE International High-Level Design Validation and Test Workshop (6th 2001 Monterey, Calif.). Sixth IEEE International High-Level Design Validation and Test Workshop: Proceedings : 7-9 November, 2001. IEEE Computer Society, 2001.
Find full textIEEE Computer Society. Technical Council on Test Technology. and IEEE Computer Society. Design Automation Technical Committee., eds. Seventh IEEE International High-Level Design Validation and Test Workshop: Proceedings : 27-29 October, 2002, Cannes, France. IEEE Computer Society, 2002.
Find full textEngel, Avner. Verification, Validation, and Testing of Engineered Systems. John Wiley & Sons, Inc., 2010. http://dx.doi.org/10.1002/9780470618851.
Full text