Stephan Arlt

According to our database, Stephan Arlt authored at least 18 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Katti: An Extensive and Scalable Tool for Website Analyses.

Florian Nettersheim, Stephan Arlt, Michael Rademacher, Florian Dehling

Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

2015

System Testing and Program Verification.

Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing.

Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

Program analysis and black-box GUI testing = Program Analysis und Black-box GUI Testing.

Stephan Arlt

PhD thesis, 2014

The Gradual Verifier.

Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Reducing GUI test suites via program slicing.

Stephan Arlt, Andreas Podelski, Martin Wehrle

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Verification of GUI Applications: A Black-Box Approach.

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Joogie: from Java through Jimple to Boogie.

Stephan Arlt, Philipp Rümmer, Martin Schäf

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013

Reconstructing Paths for Reachable Code.

Stephan Arlt, Zhiming Liu, Martin Schäf

Proceedings of the Formal Methods and Software Engineering, 2013

A Theory for Control-Flow Graph Exploration.

Stephan Arlt, Philipp Rümmer, Martin Schäf

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Black-Box Verification for GUI Applications

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski

CoRR, 2012

Grey-box GUI Testing: Efficient Generation of Event Sequences

Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf

CoRR, 2012

Trends in Model-based GUI Testing.

Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf

Adv. Comput., 2012

Parameterized GUI Tests.

Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski

Proceedings of the Testing Software and Systems, 2012

Model-based development of embedded systems' user interfaces.

Jelena Barth, Bernd Westphal, Stephan Arlt

Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012

Lightweight Static Analysis for GUI Testing.

Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Joogie: Infeasible Code Detection for Java.

Stephan Arlt, Martin Schäf

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation.

Stephan Arlt, Cristiano Bertolini, Martin Schäf

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011