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)
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: | Department of Computer Science 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 |
| Export: |
Optionen (nur für Redakteure)
 |
View Item |
Print
Impressum