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)
|
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 |
Print
Impressum
Sitemap
Search