- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Dissertation, 2023
- Schlagwort
-
Softwaretest
Programmverifikation
Formale Methode
Model Checking
Testmustergenerierung
Bug
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2023
- Urheber
- Beteiligte Personen und Organisationen
-
Kowalewski, Stefan
Weyrich, Michael
- DOI
-
10.18154/RWTH-2023-08196
- URN
-
urn:nbn:de:101:1-2024021500344423407697
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Simon, Hendrik
- Kowalewski, Stefan
- Weyrich, Michael
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2023
Ähnliche Objekte (12)
Automatic generation of combinatorial test data
Test wizard : automatic test generation based on design by contract
Automatic generation of learning assignments for software engineering formalisms
Automatic Diacritization as Prerequisite Towards the Automatic Generation of Arabic Lexical Recognition Tests
Automatic Generation of Trace Links in Model-driven Software Development
Automatic generation of software applications : a platform-based MDA approach
Automatic generation of software applications : a platform-based MDA approach
Automatic generation of object oriented unit tests using genetic programming
Automatic generation of lexical recognition tests using natural language processing
.PLC"
.PLC
Automatic Testing of Installed Software
Automatic generation of combinatorial test data
Test wizard : automatic test generation based on design by contract
Automatic generation of learning assignments for software engineering formalisms
Automatic Diacritization as Prerequisite Towards the Automatic Generation of Arabic Lexical Recognition Tests
Automatic Generation of Trace Links in Model-driven Software Development
Automatic generation of software applications : a platform-based MDA approach
Automatic generation of software applications : a platform-based MDA approach
Automatic generation of object oriented unit tests using genetic programming
Automatic generation of lexical recognition tests using natural language processing
.PLC"
.PLC
Automatic Testing of Installed Software
Automatic generation of combinatorial test data
Test wizard : automatic test generation based on design by contract
Automatic generation of learning assignments for software engineering formalisms
Automatic Diacritization as Prerequisite Towards the Automatic Generation of Arabic Lexical Recognition Tests
Automatic Generation of Trace Links in Model-driven Software Development
Automatic generation of software applications : a platform-based MDA approach
Automatic generation of software applications : a platform-based MDA approach
Automatic generation of object oriented unit tests using genetic programming
Automatic generation of lexical recognition tests using natural language processing
.PLC"
.PLC