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]
Abstract is missing.