Welcome...

M. Gerhold MSc (Marcus)

PhD Candidate / PhD Student

Expertise

Testing
Time Delay
Statistical Methods
Specifications

Publications

Recent Articles
Gerhold, M., & 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 (pp. 45-51). New York: ACM. DOI: 10.1145/2994291.2994298
Gerhold, M., & Stoelinga, M. I. A. (2016). Model-Based Testing of Probabilistic Systems. In P. Stevens, & A. Wasowski (Eds.), Proceedings of the 19th International Conference, Fundamental Approaches to Software Engineering, FASE 2016 (pp. 251-268). (Lecture Notes in Computer Science; Vol. 9633). Heidelberg-Berlin: Springer Verlag. DOI: 10.1007/978-3-662-49665-7_15
Gerhold, M., & Stoelinga, M. I. A. (2015). Ioco Theory for Probabilistic Automata. In Proceedings of the 10th Workshop on Model Based Testing, MBT 2015 (pp. 23-40). (Electronic proceedings in theoretical computer science; Vol. 180). London: Open Publishing Association. DOI: 10.4204/EPTCS.180.2

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3110
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3110
P.O. Box 217
7500 AE Enschede
The Netherlands