Stephan Arlt

Orcid: 0009-0001-9591-0300

According to our database1, Stephan Arlt authored at least 20 papers between 2011 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Dismantling Common Internet Services for Ad-Malware Detection.
CoRR, 2024

Utilizing DNS and VirusTotal for Automated Ad-Malware Detection.
Proceedings of the Web Engineering - 24th International Conference, 2024

2023
Katti: An Extensive and Scalable Tool for Website Analyses.
Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

2015
System Testing and Program Verification.
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.
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.
PhD thesis, 2014

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

Reducing GUI test suites via program slicing.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Verification of GUI Applications: A Black-Box Approach.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013
Joogie: from Java through Jimple to Boogie.
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013

Reconstructing Paths for Reachable Code.
Proceedings of the Formal Methods and Software Engineering, 2013

A Theory for Control-Flow Graph Exploration.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Black-Box Verification for GUI Applications
CoRR, 2012

Grey-box GUI Testing: Efficient Generation of Event Sequences
CoRR, 2012

Trends in Model-based GUI Testing.
Adv. Comput., 2012

Parameterized GUI Tests.
Proceedings of the Testing Software and Systems, 2012

Model-based development of embedded systems' user interfaces.
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012

Lightweight Static Analysis for GUI Testing.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Joogie: Infeasible Code Detection for Java.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011


  Loading...