Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Report]
|
PDF
TUD-CS-2009-0148_A_Precise_Specification_Framework_tRdhnX-2_.pdf Available under: CC-BY-NC-ND 2.5 de - Creative Commons, Attribution NonCommercial, NoDerivs. 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 |
URL / URN: | 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 |
PPN: | |
Export: |
![]() |
View Item |