Generating Unit Tests from Formal Proofs
Paper i proceeding, 2007
Författare
Christian Engel
Reiner Hähnle
Chalmers, Data- och informationsteknik, Datavetenskap
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)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1007/978-3-540-73770-4_10
ISBN
978-3-540-73769-8