Franz, Martin and Holzer, Andreas and Katzenbeisser, Stefan and Schallhart, Christian and Veith, Helmut (2014):
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
8409, In: Compiler Construction (CC)2014, Lecture Notes in Computer Science, pp. 244-249, [Conference or Workshop Item]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Online-Edition: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...],
[Report]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-19196],
[Report]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
Dependency Coverage Criteria with FQL.
[Report]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2008):
Query-Driven Program Testing.
[Report]