Return to search

Automatic Test Generation Based on Formal Specifications / Practical Procedures for Efficient State Space Exploration and Improved Representation of Test Cases / Automatische Testgenerierung basierend auf formalen Spezifikationen / Praxisorientierte Verfahren für die effiziente Zustandsraumexploration und die verbesserte Repräsentation von Testfällen

No description available.

1. http://hdl.handle.net/11858/00-1735-0000-0006-B3FF-5
2. urn:nbn:de:gbv:7-webdoc-538-3
3. webdoc-538
4. 375211772

Identifer	oai:union.ndltd.org:uni-goettingen.de/oai:ediss.uni-goettingen.de:11858/00-1735-0000-0006-B3FF-5
Date	03 April 2003
Creators	Schmitt, Michael
Contributors	Hogrefe, Dieter Prof. Dr.
Source Sets	Georg-August-Universität Göttingen
Language	English
Detected Language	German
Type	doctoralThesis
Format	application/pdf
Rights	http://webdoc.sub.gwdg.de/diss/copyrdiss.htm