TU | ULB | News | Service | Recherche | Subjects | Collections | A-Z | Contact |

TUbiblio

TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Report
Number of items: 4.

Report

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Online-Edition: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...],
[Report]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
A Precise Specification Framework for White Box Program Testing.
Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-19196],
[Report]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2009):
Dependency Coverage Criteria with FQL.
[Report]

Holzer, Andreas and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut (2008):
Query-Driven Program Testing.
[Report]

This list was generated on Tue Dec 10 00:17:40 2019 CET.


OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.


Drucken | Impressum | Datenschutzerklärung
USER MENU
  • Login
  • TUbiblio home
  • Search
  • Browse
    • Browse by Year
    • Browse by Division
    • Browse by Person
    • Browse by Type of publication
  • DeutschClear Cookie - decide language by browser settings

© Nov 2017 - Powered by APW Themes & Theme by Agung Prasetyo Wibowo.