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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7.

Beautiful testing. Sebastopol, Calif: O'Reilly, 2010.

Haug, Michael. Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

Berglund, Tim. Building and testing with Gradle. Sebastopol, CA: O'Reilly Media, 2011.

Specification by example: How successful teams deliver the right software. Shelter Island, N.Y: Manning, 2011.

Bach, James. Lessons learned in software testing: A context-driven approach. New York: Wiley, 2002.

Workshop 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-. London: Springer-Verlag, 1990.

IEEE 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. Los Alamitos, Calif: IEEE Computer Society, 2001.

IEEE 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. Los Alamitos, California: IEEE Computer Society, 2002.

Engel, Avner. Verification, Validation, and Testing of Engineered Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2010. http://dx.doi.org/10.1002/9780470618851.

Verification, validation, and testing of engineered systems. Hoboken, N.J: Wiley, 2010.

Medical device software verification, validation and compliance. Norwood, Mass: Artech House, 2011.

National Bureau of Standards. Guideline for software verification and validation plans. Gaithersburg, MD: U.S. Dept. of Commerce/National Bureau of Standards, 1987.

Rakitin, Steven R. Software verification and validation: A practitioner's guide. Boston: Artech House, 1997.

Quirk, William J., ed. Verification and Validation of Real-Time Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70224-2.

Quirk, William J. Verification and Validation of Real-Time Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

Helgeson, John W. The software audit guide. Milwaukee, Wis: ASQ Quality Press, 2009.

Lee, Alice T. Quantitative measures for software independent verification and validation. Washington, D.C: National Aeronautics and Space Administration, 1996.

R, Rakitin Steven, ed. Software verification and validation for practitioners and managers. 2nd ed. Boston: Artech House, 2001.

Software reviews and audits handbook. New York: Wiley, 1990.

Eder, Kerstin, João Lourenço, and Onn Shehory, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34188-5.

Bloem, Roderick, and Eli Arbel, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49052-6.

Bertacco, Valeria, and Axel Legay, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03077-7.

Yahav, Eran, ed. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13338-6.

Barner, Sharon, Ian Harris, Daniel Kroening, and Orna Raz, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19583-9.

Piterman, Nir, ed. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-26287-1.

Biere, Armin, Amir Nahir, and Tanja Vos, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39611-3.

Yorav, Karen, ed. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-77966-7.

Chockler, Hana, and Alan J. Hu, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01702-5.

Strichman, Ofer, and Rachel Tzoref-Brill, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70389-3.

Bin, Eyal, Avi Ziv, and Shmuel Ur, eds. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-70889-6.

Ur, Shmuel, Eyal Bin, and Yaron Wolfsthal, eds. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11678779.

Namjoshi, Kedar, Andreas Zeller, and Avi Ziv, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19237-1.

Software engineering reviews and audits. Boca Raton: CRC Press/Auerbach Publications, 2011.

Abraham, Kandel, ed. Verification and validation of rule-based expert systems. Boca Raton, Fla: CRC Press, 1993.

Wallace, Dolores R. Software verification and validation: Its role in computer assurance and its relationship with software projectmanagement standards. Washington, D.C: National Institute of Standards and Technology, 1989.

Lewis, Robert O. Independent verification and validation: A life cycle engineering process for quality software. New York: Wiley, 1992.

Wallace, Dolores R. Software verification and validation: Its role in computer assurance and its relationship with software project management standards. Gaithersburg, MD: U.S. Dept. of Commerce, National Institute of Standards and Technology, 1989.

Wallace, Dolores R. Reference information for the software verification and validation process. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1996.

Wallace, Dolores R. Reference information for the software verification and validation process. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1996.

J, Andriole Stephen, and United States. National Bureau of Standards., eds. Software validation, verification, testing, and documentation. Princeton, N.J: Petrocelli Books, 1986.

(Editor), Aristides Dasso, and Ana Funes (Editor), eds. Verification, Validation and Testing in Software Engineering. IGI Global, 2006.

(Editor), Aristides Dasso, and Ana Funes (Editor), eds. Verification, Validation And Testing in Software Engineering. IGI Global, 2006.

Software quality approaches: Testing, verification, and validation. Berlin: Springer, 2001.

Software Quality Approaches: Testing, Verification and Validation. Springer, 2001.

Dasso, Aristides. Verification, Validation and Testing in Software Engineering. Idea Group Publishing, 2007.

Explore it!: Reduce risk and increase confidence with exploratory testing. 2013.

Berglund, Tim, and Matthew McCullough. Building and Testing with Gradle. O'Reilly Media, Incorporated, 2011.

Berglund, Tim, and Matthew McCullough. Building and Testing with Gradle. O'Reilly Media, Incorporated, 2011.

Staff, IEEE. 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2022.