Generating Unit Tests from Formal Proofs

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

zbMATH Keywords

theorem provingprogram verificationmodel-based testingsymbolic executiontest coverageunit testingwhite-box testing

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

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

• Symstra
• Cogent
• SIMPLIFY
• UniTESK
• TestEra
• Korat
• JUnit
• Java PathFinder

This page was built for publication: Generating Unit Tests from Formal Proofs