Generating Unit Tests from Formal Proofs. - Christian Engel 002; Reiner Hähnle (TAP, 2007)

Integrating Verification and Testing of Object-Oriented Software. - Christian Engel 002; Christoph Gladisch; Vladimir Klebanov; Philipp Rümmer (TAP, 2008)

Deductive verification of safety-critical Java programs. - Christian Engel 002 (2009)