--pagegrid-width-contentarea
--pagegrid-width-contentarea-nogutter

Project pages

People pages

Testing

References

As an assistant professor in the Formal Methods and Tools group at the University of Twente I focus on computer science education and research. My expertise lies in the application and theory of in model-based testing for software reliability in critical infrastructures, while my research spans a range of topics, including language version identification and game design.

Teaching is a significant part of my work, and I enjoy delivering courses on programming and artificial intelligence to a diverse group of students. I also enjoy mentoring the many talented PhD, MSc, and BSc students, by guiding them through challenging projects and by coaching them as academic scholars and professionals.

 

UT Homepage: https://mgerhold.personalweb.utwente.nl/ 

Expertise

  • Computer Science

    • model based testing
    • Testing
    • Soundness
    • Algorithms
    • Automaton
    • Models
    • Transitions
    • Usage Statistic

Organisations

Publications

2024
Deriving modernity signatures of codebases with static analysisThe Journal of systems and software, 211, Article 111973. Admiraal, C., van den Brink, W., Gerhold, M., Zaytsev, V. & Zubcu, C.https://doi.org/10.1016/j.jss.2024.111973
2023
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX ControllerIn Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 242-258). Wal, D. v. d., Gerhold, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-43681-9_14Computer Aided Content Generation: A Gloomhaven Case StudyIn Proceedings of the 18th International Conference on the Foundations of Digital Games, FDG 2023, Article 61. Association for Computing Machinery. Gerhold, M. & Tijben, K.https://doi.org/10.1145/3582437.3587196Leveraging deep learning for Python version identificationCEUR workshop proceedings, 3567, 33-40. Gerhold, M., Solovyeva, L. & Zaytsev, V.
2022
Deriving Modernity Signatures for PHP Systems with Static AnalysisIn Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 (pp. 181-185). IEEE. van den Brink, W., Gerhold, M. & Zaytsev, V.https://doi.org/10.1109/SCAM55253.2022.00027
2019
Model-based testing of stochastically timed systemsInnovations in systems and software engineering, 15(3-4), 207-233. Gerhold, M., Hartmanns, A. & Stoelinga, M.https://doi.org/10.1007/s11334-019-00349-z

Research profiles

Courses academic year 2023/2024

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.

Courses academic year 2022/2023

Address

University of Twente

Zilverling (building no. 11), room 3070
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard