Statistical path coverage for non-deterministic complex safety-related software testing
- Alternative title
-
Statistische Pfadabdeckung für nicht-deterministische, komplexe und sicherheitsrelevante Softwaretests
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Siegen, Universität Siegen, Dissertation, 2022
- Keyword
-
Modellgetriebene Entwicklung
- Event
-
Veröffentlichung
- (where)
-
Siegen
- (who)
-
Universitätsbibliothek der Universität Siegen
- (when)
-
2022
- Creator
- Contributor
- URN
-
urn:nbn:de:hbz:467-22399
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
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
- Allende, Imanol
- Obermaisser, Roman
- Universitätsbibliothek der Universität Siegen
Time of origin
- 2022
Other Objects (12)
Statistical properties of deterministic systems
Quantitative Safety Analysis of Non-Deterministic System Architectures
External debt : definition, statistical coverage and methodology
Internet surveys: can statistical adjustments eliminate coverage bias?
Optimization Based Coverage Path Planning for Autonomous 3D Data Acquisition
Deterministic chance
Deterministic pomsets
Deterministic Causation
Budgeting challenges on the path towards universal health coverage: The case of Benin
Efficient accurate and robust statistical inference for deterministic and stochastic models of biochemical systems
Statistical Dependence Analyses of Flight Data for Safety Management
Deterministic set automata
Statistical properties of deterministic systems
Quantitative Safety Analysis of Non-Deterministic System Architectures
External debt : definition, statistical coverage and methodology
Internet surveys: can statistical adjustments eliminate coverage bias?
Optimization Based Coverage Path Planning for Autonomous 3D Data Acquisition
Deterministic chance
Deterministic pomsets
Deterministic Causation
Budgeting challenges on the path towards universal health coverage: The case of Benin
Efficient accurate and robust statistical inference for deterministic and stochastic models of biochemical systems
Statistical Dependence Analyses of Flight Data for Safety Management
Deterministic set automata
Statistical properties of deterministic systems
Quantitative Safety Analysis of Non-Deterministic System Architectures
External debt : definition, statistical coverage and methodology
Internet surveys: can statistical adjustments eliminate coverage bias?
Optimization Based Coverage Path Planning for Autonomous 3D Data Acquisition
Deterministic chance
Deterministic pomsets
Deterministic Causation
Budgeting challenges on the path towards universal health coverage: The case of Benin
Efficient accurate and robust statistical inference for deterministic and stochastic models of biochemical systems
Statistical Dependence Analyses of Flight Data for Safety Management