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
id ndltd-uni-goettingen.de-oai-ediss.uni-goettingen.de-11858-00-1735-0000-0006-B3FF-5
record_format oai_dc
spelling ndltd-uni-goettingen.de-oai-ediss.uni-goettingen.de-11858-00-1735-0000-0006-B3FF-52014-01-03T04:56:09ZAutomatic Test Generation Based on Formal SpecificationsPractical Procedures for Efficient State Space Exploration and Improved Representation of Test CasesAutomatische Testgenerierung basierend auf formalen SpezifikationenPraxisorientierte Verfahren für die effiziente Zustandsraumexploration und die verbesserte Repräsentation von TestfällenSchmitt, Michael004 InformatikMathematics and Computer ScienceAutomatische TestgenerierungAutolinkSDLMSCTTCN-2TTCN-3Automatic Test GenerationAutolinkSDLMSCTTCN-2TTCN-354.3254.52AHHogrefe, Dieter Prof. Dr.2003-11-04T15:27:47Z2013-01-18T13:22:29Z2013-01-30T23:50:55Z2003-11-042003-04-03doctoralThesisapplication/pdfhttp://hdl.handle.net/11858/00-1735-0000-0006-B3FF-5urn:nbn:de:gbv:7-webdoc-538-3webdoc-538375211772enghttp://webdoc.sub.gwdg.de/diss/copyrdiss.htm
collection NDLTD
language English
format Doctoral Thesis
sources NDLTD
topic 004 Informatik
Mathematics and Computer Science
Automatische Testgenerierung
Autolink
SDL
MSC
TTCN-2
TTCN-3
Automatic Test Generation
Autolink
SDL
MSC
TTCN-2
TTCN-3
54.32
54.52
AH
spellingShingle 004 Informatik
Mathematics and Computer Science
Automatische Testgenerierung
Autolink
SDL
MSC
TTCN-2
TTCN-3
Automatic Test Generation
Autolink
SDL
MSC
TTCN-2
TTCN-3
54.32
54.52
AH
Schmitt, Michael
Automatic Test Generation Based on Formal Specifications
author2 Hogrefe, Dieter Prof. Dr.
author_facet Hogrefe, Dieter Prof. Dr.
Schmitt, Michael
author Schmitt, Michael
author_sort Schmitt, Michael
title Automatic Test Generation Based on Formal Specifications
title_short Automatic Test Generation Based on Formal Specifications
title_full Automatic Test Generation Based on Formal Specifications
title_fullStr Automatic Test Generation Based on Formal Specifications
title_full_unstemmed Automatic Test Generation Based on Formal Specifications
title_sort automatic test generation based on formal specifications
publishDate 2003
url http://hdl.handle.net/11858/00-1735-0000-0006-B3FF-5
http://nbn-resolving.de/urn:nbn:de:gbv:7-webdoc-538-3
work_keys_str_mv AT schmittmichael automatictestgenerationbasedonformalspecifications
AT schmittmichael practicalproceduresforefficientstatespaceexplorationandimprovedrepresentationoftestcases
AT schmittmichael automatischetestgenerierungbasierendaufformalenspezifikationen
AT schmittmichael praxisorientierteverfahrenfurdieeffizientezustandsraumexplorationunddieverbessertereprasentationvontestfallen
_version_ 1716622736224157696

Similar Items