Browse by Person

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

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

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

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut :
Dependency Coverage Criteria with FQL.

[Report] , (2009)

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut :
Query-Driven Program Testing.

[Report] , (2008)