TU Darmstadt / ULB / tuprints

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]
Darmstadt
[Report], (2009)

[img]
Preview
PDF
TUD-CS-2009-0148_A_Precise_Specification_Framework_tRdhnX-2_.pdf
Available under Creative Commons Attribution Non-commercial No Derivatives.

Download (313Kb) | Preview
Item Type: Report
Title: A Precise Specification Framework for White Box Program Testing
Language: English
Place of Publication: Darmstadt
Classification DDC: 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik
Divisions: Fachbereich Informatik
Fachbereich Informatik > Formal Methods in System Engineering
Date Deposited: 11 Sep 2009 11:52
Last Modified: 07 Dec 2012 11:55
Official URL: http://www.informatik.tu-darmstadt.de/de/fachberei...
URN: urn:nbn:de:tuda-tuprints-19196
License: Creative Commons: Attribution-Noncommercial-No Derivative Works 3.0
Identification Number: TUD-CS-2009-0148
URI: http://tuprints.ulb.tu-darmstadt.de/id/eprint/1919
Export:

Actions (login required)

View Item View Item