You are here: Home Team Stephan Arlt

Stephan Arlt



I'm a researcher at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. My research interests are Software Testing and Program Analysis.


  • Gazoo generates relevant event sequences for GUI test cases.
  • Joogie detects infeasible code in Java programs.



  • If A fails, can B still succeed? — Infering dependencies between test results in automotive system testing
    – with Tobias Morciniec, Andreas Podelski, and Silke Wagner.
    ICST 2015, International Conference on Software Testing, Verification and Validation
  • System Testing and Program Verification
    – with Sergio Feo-Arenis, Andreas Podelski, and Martin Wehrle.
    SE 2015, Software Engineering and Management


  • Verification of GUI Applications: a Black-Box Approach
    – with Evren Ermis, Sergio Feo-Arenis, and Andreas Podelski.
    ISoLA 2014, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
  • Reducing GUI Test Suites via Program Slicing
    – with Andreas Podelski and Martin Wehrle.
    ISSTA 2014, International Symposium on Software Testing and Analysis
  • Quantification of Verification Progress
    – with John Murray, Philipp Rümmer, and Martin Schäf.
    VeriSure 2014, Verification and Assurance
  • The Gradual Verifier
    – with Cindy Rubio-González, Philipp Rümmer, Martin Schäf, and Natarajan Shankar.
    NFM 2014, NASA Formal Methods


  • Reconstructing Paths for Reachable Code
    – with Zhiming Liu and Martin Schäf.
    ICFEM 2013, International Conference on Formal Engineering Methods
  • A Theory for Control-Flow Graph Exploration
    – with Philipp Rümmer and Martin Schäf.
    ATVA 2013, International Symposium on Automated Technology for Verification and Analysis
  • Joogie: From Java through Jimple to Boogie
    – with Philipp Rümmer and Martin Schäf.
    SOAP 2013, ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis
  • DiaMac: A Lightweight System for OpenEHR Interoperability Research
    – with Johannes Faber, Zhiming Liu, and Nafees Qamar.
    FHIES 2013, International Symposium on Foundations of Health Information Engineering and Systems


  • Black-Box Verification for GUI Applications
    – with Evren Ermis, Sergio Feo-Arenis, and Andreas Podelski.
    (Technical Report)
  • Model-based Development of Embedded Systems' User Interfaces
    – with Lena Barth and Bernd Westphal.
    ACES-MB 2012, International Workshop on Model Based Architecting and Construction of Embedded Systems
  • Parameterized GUI Tests
    – with Pedro Borromeo, Martin Schäf, and Andreas Podelski.
    ICTSS 2012, International Conference on Testing Software and Systems
  • Lightweight Static Analysis for GUI Testing
    – with Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, and Atif Memon.
    ISSRE 2012, International Symposium on Software Reliability Engineering. Supporting Material.
  • Infeasible Code Detection for Java
    – with Martin Schäf.
    CAV 2012, Computer Aided Verification
  • Trends in Model-based GUI Testing
    – with Cristiano Bertolini, Simon Pahl, and Martin Schäf.
    Advances in Computers, Volume 86
  • Grey-box GUI Testing: Efficient Generation of Event Sequences
    – with Cristiano Bertolini, Martin Schäf, Ishan Banerjee, and Atif Memon.
    (Technical Report)

2011 and older

  • Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation
    – with Cristiano Bertolini and Martin Schäf.
    ICSTW 2011, International Conference on Software Testing, Verification and Validation Workshops
  • Implementierung zuverlässiger Zahlungssysteme in Java. Entwurf, Realisierung und Test mit der J2EE
    – with Andreas Hense.
    VDM, 2008. ISBN: 3639052110


  • Testing Procedures in Software Engineering, Winter Term 2012/2013
  • Software Testing, Winter Term 2012/2013
  • Model-based Testing and Analysis, Summer Term 2012
  • Software Testing, Winter Term 2011/2012
  • Software Engineering, Summer Term 2011
  • Software Testing, Winter Term 2010/11
  • Software Testing, Winter Term 2009/10
  • Software Lab, Summer Term 2009
  • Advanced Topics in Software Engineering, Summer Term 2009
  • Business Processes, Winter Term 2008/09
  • Software Lab, Summer Term 2007
  • Verification, Winter Term 2006/07
  • Software Lab for Students of all Faculties, Winter Term 2006/07
  • Safe Systems, Winter Term 2006/07
  • Software Lab, Summer Term 2006

Supervision of Students

  • Borromeo, P.: Parameterized GUI Tests (completed 2012)
  • Pahl, S.: Automated Grey-box Generation of Test Cases for GUIs (completed 2011)
  • Hummel, S.: The Delphi Method - An Appropriate Approach to Requirements Elicitation? (completed 2011)
  • Kacmaz, G.: Establishing and Maintaining a Software Product Core based on the CaVE Approach (completed 2011)
  • Özer, G.: TaxApp: Analysis and Design of an eLearning Application for Mobile Devices (completed 2010)
  • Schön, T.: Modeling of an IT Infrastructure based on Free and Proprietary Software (completed 2009)
  • Gazic, C. G.: Modeling of Requirements of a Quality Assurance System (completed 2008)