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

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

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

ISBN

978-3-540-73769-8