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, [Report]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [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]