Formal Approaches to Software Testing

DOI10.1007/B95400zbMATH Open1185.68623OpenAlexW2765906234MaRDI QIDQ5902011FDOQ5902011

Angela Wallenburg, Reiner Hähnle

Publication date: 4 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95400

Recommendations

• Automated theorem proving by test set induction
• A more general sufficient condition for partition testing to be better than random testing
• On theorem prover-based testing
• Testing-based formal verification for theorems and its application in software specification verification
• scientific article; zbMATH DE number 2090141

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (1)

• Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification

This page was built for publication: Formal Approaches to Software Testing

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