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

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Report]

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

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