Research Output 2015 2016

  • 3 Conference contribution
Filter
Conference contribution
2016
6 Citations

Model-Based Testing of Probabilistic Systems

Gerhold, M. & Stoelinga, M. I. A. Apr 2016 Proceedings of the 19th International Conference, Fundamental Approaches to Software Engineering, FASE 2016. Stevens, P. & Wasowski, A. (eds.). Heidelberg-Berlin: Springer Verlag, p. 251-268 18 p. (Lecture Notes in Computer Science; vol. 9633)

Research output: Scientific - peer-reviewConference contribution

Testing
Statistical methods
Specifications
1 Citations

Model-Based Testing of Stochastic Systems with IOCO Theory

Gerhold, M. & Stoelinga, M. I. A. 18 Nov 2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016. New York: ACM, p. 45-51 7 p.

Research output: Scientific - peer-reviewConference contribution

Testing
Time delay
2015

Ioco Theory for Probabilistic Automata

Gerhold, M. & Stoelinga, M. I. A. 9 Apr 2015 Proceedings of the 10th Workshop on Model Based Testing, MBT 2015. London: Open Publishing Association, p. 23-40 18 p. (Electronic proceedings in theoretical computer science; vol. 180)

Research output: Scientific - peer-reviewConference contribution

Testing