Stephan Arlt

University of Freiburg

Georges-Köhler-Allee 52

79110 Freiburg

building 052, room 00-020

Research

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.

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)

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

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)