Generating Unit Tests from Formal Proofs
From MaRDI portal
Publication:5423869
DOI10.1007/978-3-540-73770-4_10zbMath1196.68046OpenAlexW1523035663MaRDI QIDQ5423869
Reiner Hähnle, Christian Engel
Publication date: 31 October 2007
Published in: Tests and Proofs (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73770-4_10
theorem provingprogram verificationmodel-based testingsymbolic executiontest coverageunit testingwhite-box testing
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
How testing helps to diagnose proof failures, A system for compositional verification of asynchronous objects, Interleaving Symbolic Execution and Partial Evaluation, JMLUnit: The Next Generation, Could We Have Chosen a Better Loop Invariant or Method Contract?
Uses Software
