Expertises
Testing
Time Delay
Specifications
Verbonden aan
Publicaties
Recente Artikelen
Gerhold, M., & Stoelinga, M. (2018). Model-based testing of probabilistic systems. Formal aspects of computing, 30(1), 77-106. DOI: 10.1007/s00165-017-0440-4
Gerhold, M., & Stoelinga, M. (2017). Model-Based Testing of Probabilistic Systems with Stochastic Time. In E. Broch Johnsen (Ed.), Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings (pp. 77-97). (Lecture notes in computer science; Vol. 10375). DOI: 10.1007/978-3-319-61467-0_5
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: Association for Computing Machinery (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.), Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings (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
Pure Link
Contactgegevens
Bezoekadres
Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling
(gebouwnr. 11), kamer 3110
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling
3110
Postbus 217
7500 AE Enschede