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.
Report, Primary publication

[img]
Preview
PDF
TUD-CS-2009-0148_A_Precise_Specification_Framework_tRdhnX-2_.pdf
Copyright Information: CC BY-NC-ND 2.5 Generic - Creative Commons, Attribution, NonCommercial, NoDerivs .

Download (321kB) | Preview
Item Type: Report
Type of entry: Primary publication
Title: A Precise Specification Framework for White Box Program Testing
Language: English
Date: 11 September 2009
Place of Publication: Darmstadt
URL / URN: http://www.informatik.tu-darmstadt.de/de/fachberei...
Identification Number: TUD-CS-2009-0148
URN: urn:nbn:de:tuda-tuprints-19196
Classification DDC: 000 Generalities, computers, information > 004 Computer science
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: 05 Jan 2024 09:09
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/1919
PPN: 385156480
Export:
Actions (login required)
View Item View Item