Marcus Gerhold
Marcus Gerhold
Geverifieerd e-mailadres voor utwente.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Model-based testing of probabilistic systems
M Gerhold, M Stoelinga
Formal aspects of computing 30 (1), 77-106, 2018
192018
A hierarchy of scheduler classes for stochastic automata
PR D’Argenio, M Gerhold, A Hartmanns, S Sedwards
International Conference on Foundations of Software Science and Computation …, 2018
62018
Model-based testing of probabilistic systems with stochastic time
M Gerhold, M Stoelinga
International Conference on Tests and Proofs, 77-97, 2017
42017
Model-based testing of stochastic systems with IOCO theory
M Gerhold, M Stoelinga
Proceedings of the 7th International Workshop on Automating Test Case Design …, 2016
32016
Ioco theory for probabilistic automata
M Gerhold, M Stoelinga
arXiv preprint arXiv:1504.02441, 2015
32015
Model-based testing for general stochastic time
M Gerhold, A Hartmanns, M Stoelinga
NASA Formal Methods Symposium, 203-219, 2018
22018
Model-based testing of stochastically timed systems
M Gerhold, A Hartmanns, M Stoelinga
Innovations in systems and software engineering 15 (3-4), 207-233, 2019
12019
Choice and chance: model-based testing of stochastic behaviour
M Gerhold
12018
Model-Based Testing of Stochastic Behaviour
M Gerhold
2018
A quest for the best automated tests
J den Ouden, MIA Stoelinga, R Kherrazi, M Gerhold, JC van de Pol
2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–10