Generating Unit Tests from Formal Proofs

DOI10.1007/978-3-540-73770-4_10MaRDI QIDQ5423869zbMATH OpenOpenAlexFDO

Authors Christian Engel, Reiner Hähnle

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 provingmodel-based testingprogram verificationsymbolic executiontest coverageunit testingwhite-box testing

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1706336
• scientific article; zbMATH DE number 2080069
• scientific article; zbMATH DE number 1929886
• scientific article; zbMATH DE number 2079824
• JMLUnit: the next generation

Cited in

(8)

• Automatic Testing from Formal Specifications
• How testing helps to diagnose proof failures
• Could We Have Chosen a Better Loop Invariant or Method Contract?
• A system for compositional verification of asynchronous objects
• scientific article; zbMATH DE number 1929886 (Why is no real title available?)
• Interleaving symbolic execution and partial evaluation
• JMLUnit: the next generation
• Generating tests by example

Describes a project that uses

Uses Software

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

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

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