NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 2 of 2 (0.077 seconds)

Spelling suggestions: "subject:"testgenerierung"" "subject:"wertgenerierung""

1

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

Schmitt, Michael 03 April 2003 (has links)
No description available.
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
2

Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests / Sprachen, Werkzeuge und Muster für die Spezifikation von verteilten Echtzeit-Tests

Neukirchen, Helmut Wolfram 25 August 2004 (has links)
No description available.
004 Informatik
Mathematics and Computer Science
Black-box Test
Echtzeit
Testbeschreibung
Testgenerierung
Muster
TTCN-3
MSC
Black-box testing
Real-time
Test specification
Test generation
Patterns
TTCN-3
MSC
54.52
54.32
AH

Page generated in 0.0817 seconds