Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009)
A Precise Specification Framework for White Box Program Testing.
Report, Primary publication
|
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 |
| 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: | 09 Aug 2024 09:48 |
| URI: | https://tuprints.ulb.tu-darmstadt.de/id/eprint/1919 |
| PPN: | 385156480 |
| Export: |
 |
View Item |
Drucken
Impressum