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]
Official URL: urn:nbn:de:tuda-tuprints-19196
Item Type: | Report |
---|---|
Erschienen: | 2009 |
Creators: | Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut |
Title: | A Precise Specification Framework for White Box Program Testing |
Language: | English |
Place of Publication: | Darmstadt |
Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Formal Methods in System Engineering |
Date Deposited: | 11 Sep 2009 11:52 |
Official URL: | urn:nbn:de:tuda-tuprints-19196 |
Identification Number: | TUD-CS-2009-0148 |
License: | Creative Commons: Attribution-Noncommercial-No Derivative Works 3.0 |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
View Item |