Stephan Arlt

Stephan Arlt is a researcher at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. His research focuses on Software Testing and Program Analysis, with contributions to tools like Gazoo and Joogie. He has published extensively on topics including GUI testing, infeasible code detection, and formal verification techniques, appearing at venues like ICST, ISSTA, and CAV. His work emphasizes practical and automated methods for improving software reliability and verification efficiency.

He has advised multiple students on projects such as Parameterized GUI Tests and Automated Grey-box Testing. His teaching spans courses like Software Testing, Model-based Testing, and Program Verification, reflecting his expertise in both theoretical and applied software engineering.

Key contributions include developing Gazoo for generating GUI test cases and Joogie for analyzing Java programs. His research trends highlight advancements in automated testing strategies, formal verification, and optimizing test suite reduction techniques.