Generating Unit Tests from Formal Proofs
Paper in proceedings, 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

Subject Categories

Software Engineering

Computer Science

DOI

10.1007/978-3-540-73770-4_10

ISBN

978-3-540-73769-8

More information

Created

10/6/2017