Software Quality Approaches: Testing, Verification, and Validation

DOI10.1007/978-3-642-56612-7MaRDI QIDQ4797831zbMATH OpenOpenAlexFDO

Authors

Publication date 9 March 2003

Full work available at URL https://doi.org/10.1007/978-3-642-56612-7

zbMATH Keywords

software development

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Cited in

(15)

• scientific article; zbMATH DE number 480221 (Why is no real title available?)
• Analyzing the effect of imperfect debugging on software fault detection and correction processes via a simulation framework
• Managing the Change: Software Configuration and Change Management
• Software Management Approaches: Project Management, Estimation, and Life Cycle Support
• Software Quality and Software Testing in Internet Times
• scientific article; zbMATH DE number 47901 (Why is no real title available?)
• scientific article; zbMATH DE number 1878651 (Why is no real title available?)
• Software Verification and Validation
• Software reliability analysis and assessment using queueing models with multiple change-points
• scientific article; zbMATH DE number 1878576 (Why is no real title available?)
• scientific article; zbMATH DE number 3930309 (Why is no real title available?)
• scientific article; zbMATH DE number 994144 (Why is no real title available?)
• scientific article; zbMATH DE number 1737294 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• An efficient algorithm for combining verification and validation methods

This page was built for publication: Software Quality Approaches: Testing, Verification, and Validation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4797831)