Model-based testing of stochastic systems with IOCO theory

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.