TU Darmstadt / ULB / TUbiblio

A Precise Specification Framework for White Box Program Testing

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]

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 Send an inquiry

Options (only for editors)

View Item View Item