Model-based testing of probabilistic systems
M Gerhold, M Stoelinga - Formal aspects of computing, 2018 - Springer
This work presents an executable model-based testing framework for probabilistic systems
with non-determinism. We provide algorithms to automatically generate, execute and …
with non-determinism. We provide algorithms to automatically generate, execute and …
Model-Based Testing of Quantum Computations
M Lochau, I Schaefer - International Conference on Tests and Proofs, 2024 - Springer
Quantum computers are able to effectively solve certain types of problems being intractable
by classical computers, including tasks from linear optimization, machine learning and …
by classical computers, including tasks from linear optimization, machine learning and …
Model-based testing real-time and interactive music systems
CP Sanchez - 2016 - theses.hal.science
Can real-time interactive systems be automatically timed tested? This work proposes an
answer to this question by providing a formal model based testing framework for Interactive …
answer to this question by providing a formal model based testing framework for Interactive …