Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Author: Gerhold, M.
Home Policy Brochure Browse Search User Area Contact Help


Gerhold, M. and Stoelinga, M.I.A. (2016) Model-Based Testing of Stochastic Systems with IOCO Theory. In: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016, 18 Nov 2016, Seattle, WA, USA. pp. 45-51. ACM. ISBN 978-1-4503-4401-2
Gerhold, M. and Stoelinga, M.I.A. (2016) Model-Based Testing of Probabilistic Systems. In: Proceedings of the 19th International Conference, Fundamental Approaches to Software Engineering, FASE 2016, 2-8 April 2016, Eindhoven, The Netherlands. pp. 251-268. Lecture Notes in Computer Science 9633. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-49664-0


Gerhold, M. and Stoelinga, M.I.A. (2015) Ioco Theory for Probabilistic Automata. In: Proceedings of the 10th Workshop on Model Based Testing, MBT 2015, 18 Apr 2015, London, UK. pp. 23-40. Electronic proceedings in theoretical computer science 180. Open Publishing Association. ISSN 2075-2180