TU Darmstadt / ULB / TUprints

A Precise Specification Framework for White Box Program Testing

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Report]

[img]
Preview
PDF
TUD-CS-2009-0148_A_Precise_Specification_Framework_tRdhnX-2_.pdf
Available under CC-BY-NC-ND 2.5 de - Creative Commons, Attribution Non-commerical, No-derivatives.

Download (321kB) | 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: 20 Department of Computer Science
20 Department of Computer Science > Formal Methods in System Engineering
Date Deposited: 11 Sep 2009 11:52
Last Modified: 08 Jul 2020 23:31
Official URL: http://www.informatik.tu-darmstadt.de/de/fachberei...
URN: urn:nbn:de:tuda-tuprints-19196
Identification Number: TUD-CS-2009-0148
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/1919
Export:
Actions (login required)
View Item View Item