Marcus Gerhold, Mariëlle Stoelinga. Model-based testing of stochastic systems with IOCO theory. In Tanja E. J. Vos, Sigrid Eldh, Wishnu Prasetya, editors, Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016. pages 45-51, ACM, 2016. [doi]
@inproceedings{GerholdS16-0,
title = {Model-based testing of stochastic systems with IOCO theory},
author = {Marcus Gerhold and Mariëlle Stoelinga},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2994298},
researchr = {https://researchr.org/publication/GerholdS16-0},
cites = {0},
citedby = {0},
pages = {45-51},
booktitle = {Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016},
editor = {Tanja E. J. Vos and Sigrid Eldh and Wishnu Prasetya},
publisher = {ACM},
isbn = {978-1-4503-4401-2},
}