Stephan Arlt

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