Reprint
Mathematics in Software Reliability and Quality Assurance
Edited by
May 2022
218 pages
- ISBN978-3-0365-3799-3 (Hardback)
- ISBN978-3-0365-3800-6 (PDF)
This is a Reprint of the Special Issue Mathematics in Software Reliability and Quality Assurance that was published in
Computer Science & Mathematics
Engineering
Physical Sciences
Public Health & Healthcare
Summary
This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.