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: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...]
Darmstadt
[Report] , (2009)

Official URL: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...
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: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...
Identification Number: TUD-CS-2009-0148
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item