Formal Approaches to Software Testing

DOI10.1007/B95400MaRDI QIDQ5902011zbMATH OpenOpenAlexFDO

Authors Reiner Hähnle, Angela Wallenburg

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

Mathematics Subject Classification ID

Theory of software (68N99)

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

Cited in

(2)

• How testing helps to diagnose proof failures
• 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)