Stephan Arlt

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 3

Top Venues

ICST

CoRR

ISSTA

Software Engineering & Management

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Florian Nettersheim, Stephan Arlt, Michael Rademacher
Dismantling Common Internet Services for Ad-Malware Detection. CoRR (2024)
Florian Nettersheim, Stephan Arlt, Michael Rademacher
Utilizing DNS and VirusTotal for Automated Ad-Malware Detection. ICWE (2024)
Florian Nettersheim, Stephan Arlt, Michael Rademacher, Florian Dehling
Katti: An Extensive and Scalable Tool for Website Analyses. WWW (Companion Volume) (2023)
Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. ICST (2015)
Stephan Arlt, Sergio Feo Arenis, Andreas Podelski, Martin Wehrle
System Testing and Program Verification. Software Engineering & Management (2015)
Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar
The Gradual Verifier. NASA Formal Methods (2014)
Stephan Arlt, Andreas Podelski, Martin Wehrle
Reducing GUI test suites via program slicing. ISSTA (2014)
Stephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski
Verification of GUI Applications: A Black-Box Approach. ISoLA (1) (2014)
Stephan Arlt, Zhiming Liu, Martin Schäf
Reconstructing Paths for Reachable Code. ICFEM (2013)
Stephan Arlt, Philipp Rümmer, Martin Schäf
Joogie: from Java through Jimple to Boogie. SOAP@PLDI (2013)
Stephan Arlt, Philipp Rümmer, Martin Schäf
A Theory for Control-Flow Graph Exploration. ATVA (2013)
Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf
Grey-box GUI Testing: Efficient Generation of Event Sequences CoRR (2012)
Stephan Arlt, Martin Schäf
Joogie: Infeasible Code Detection for Java. CAV (2012)
Stephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski
Black-Box Verification for GUI Applications CoRR (2012)
Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf
Trends in Model-based GUI Testing. Adv. Comput. 86 (2012)
Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski
Parameterized GUI Tests. ICTSS (2012)
Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon
Lightweight Static Analysis for GUI Testing. ISSRE (2012)
Jelena Barth, Bernd Westphal, Stephan Arlt
Model-based development of embedded systems' user interfaces. ACES-MB@MoDELS (2012)
Stephan Arlt, Cristiano Bertolini, Martin Schäf
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. ICST Workshops (2011)

Stephan Arlt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephan Arlt