Generating Unit Tests from Formal Proofs
Paper in proceeding, 2007
Author
Christian Engel
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, Springer-Verlag, LNCS
Vol. 4454 169-188
978-3-540-73769-8 (ISBN)
Subject Categories
Software Engineering
Computer Science
DOI
10.1007/978-3-540-73770-4_10
ISBN
978-3-540-73769-8