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: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...],
[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: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...
Identification Number: TUD-CS-2009-0148
Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item