Automatic Test Generation Based on Formal Specifications

Automatic Test Generation Based on Formal Specifications

Bibliographic Details
Main Author: Schmitt, Michael
Other Authors: Hogrefe, Dieter Prof. Dr.
Format: Doctoral Thesis
Language:English
Published: 2003
Subjects:
004 Informatik
Mathematics and Computer Science
Automatische Testgenerierung
Autolink
SDL
MSC
TTCN-2
TTCN-3
Automatic Test Generation
54.32
54.52
AH
Online Access:http://hdl.handle.net/11858/00-1735-0000-0006-B3FF-5
http://nbn-resolving.de/urn:nbn:de:gbv:7-webdoc-538-3

Internet

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

Similar Items