Browse by Person
![]() | Up a level |
Number of items: 4.
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: 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]