Generating Unit Tests from Formal Proofs.

Christian Engel, Reiner Hhnle

Browse the full TAP paper archive.