TU Darmstadt / ULB / TUbiblio

A Precise Specification Framework for White Box Program Testing

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 View Item