Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. - Stephan Arlt; Cristiano Bertolini; Martin Schäf (ICST Workshops, 2011)

Joogie: Infeasible Code Detection for Java. - Stephan Arlt; Martin Schäf (CAV, 2012)

Lightweight Static Analysis for GUI Testing. - Stephan Arlt; Andreas Podelski; Cristiano Bertolini; Martin Schäf; Ishan Banerjee; Atif M. Memon (ISSRE, 2012)

Model-based development of embedded systems' user interfaces. - Jelena Barth; Bernd Westphal; Stephan Arlt (ACES-MB@MoDELS, 2012)

Parameterized GUI Tests. - Stephan Arlt; Pedro Borromeo; Martin Schäf; Andreas Podelski (ICTSS, 2012)

Trends in Model-based GUI Testing. - Stephan Arlt; Cristiano Bertolini; Simon Pahl; Martin Schäf (Adv. Comput., 2012)

Grey-box GUI Testing: Efficient Generation of Event Sequences - Stephan Arlt; Ishan Banerjee; Cristiano Bertolini; Atif M. Memon; Martin Schäf (CoRR, 2012)

Black-Box Verification for GUI Applications - Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski (CoRR, 2012)

A Theory for Control-Flow Graph Exploration. - Stephan Arlt; Philipp Rümmer; Martin Schäf (ATVA, 2013)

Reconstructing Paths for Reachable Code. - Stephan Arlt; Zhiming Liu 001; Martin Schäf (ICFEM, 2013)

Joogie: from Java through Jimple to Boogie. - Stephan Arlt; Philipp Rümmer; Martin Schäf (SOAP@PLDI, 2013)

Verification of GUI Applications: A Black-Box Approach. - Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski (ISoLA (1), 2014)

Reducing GUI test suites via program slicing. - Stephan Arlt; Andreas Podelski; Martin Wehrle (ISSTA, 2014)

The Gradual Verifier. - Stephan Arlt; Cindy Rubio-González; Philipp Rümmer; Martin Schäf; Natarajan Shankar (NASA Formal Methods, 2014)

Program analysis and black-box GUI testing = Program Analysis und Black-box GUI Testing. - Stephan Arlt (2014)

If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. - Stephan Arlt; Tobias Morciniec; Andreas Podelski; Silke Wagner (ICST, 2015)

System Testing and Program Verification. - Stephan Arlt; Sergio Feo-Arenis; Andreas Podelski; Martin Wehrle (Software Engineering & Management, 2015)

Katti: An Extensive and Scalable Tool for Website Analyses. - Florian Nettersheim; Stephan Arlt; Michael Rademacher; Florian Dehling (WWW (Companion Volume), 2023)

Utilizing DNS and VirusTotal for Automated Ad-Malware Detection. - Florian Nettersheim; Stephan Arlt; Michael Rademacher (ICWE, 2024)

Dismantling Common Internet Services for Ad-Malware Detection. - Florian Nettersheim; Stephan Arlt; Michael Rademacher (CoRR, 2024)