- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Paderborn, Universität Paderborn, Dissertation, 2023
- Keyword
-
Softwaretest
Fehlererkennung
Testen
Testmustergenerierung
Softwareentwicklung
Model Checking
- Event
-
Veröffentlichung
- (where)
-
Paderborn
- (who)
-
Universitätsbibliothek
- (when)
-
2024
- Creator
-
Kilincceker, Onur
- URN
-
urn:nbn:de:hbz:466:2-52412
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:44 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kilincceker, Onur
- Universitätsbibliothek
Time of origin
- 2024
Other Objects (12)
Model-Based Diversification for Sequential Exploratory Queries
Efficient model-based bioequivalence testing
Model-based testing of probabilistic systems
Model-based testing as a service
Model-based testing of dynamic component systems
Feature Model-based Software Product Line Testing
Model-based testing of stochastically timed systems
Model-Based Testing for Self-Organization Mechanisms
A principal-agent model of sequential testing
Modeling and model-based testing of service choreographies : modeling and model-based service integration testing for service-oriented architectures
Model-based, adaptive testing of organic computing systems
Perspectives of model-based testing : 04371 abstracts collection
Model-Based Diversification for Sequential Exploratory Queries
Efficient model-based bioequivalence testing
Model-based testing of probabilistic systems
Model-based testing as a service
Model-based testing of dynamic component systems
Feature Model-based Software Product Line Testing
Model-based testing of stochastically timed systems
Model-Based Testing for Self-Organization Mechanisms
A principal-agent model of sequential testing
Modeling and model-based testing of service choreographies : modeling and model-based service integration testing for service-oriented architectures
Model-based, adaptive testing of organic computing systems
Perspectives of model-based testing : 04371 abstracts collection
Model-Based Diversification for Sequential Exploratory Queries
Efficient model-based bioequivalence testing
Model-based testing of probabilistic systems
Model-based testing as a service
Model-based testing of dynamic component systems
Feature Model-based Software Product Line Testing
Model-based testing of stochastically timed systems
Model-Based Testing for Self-Organization Mechanisms
A principal-agent model of sequential testing
Modeling and model-based testing of service choreographies : modeling and model-based service integration testing for service-oriented architectures
Model-based, adaptive testing of organic computing systems