Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Stephan Arlt
Observed name:
Arlt, Stephan
Institution:
Federal Office for Information Security
Observed institutions:
Federal Office for Information Security,
University of Freiburg,
University of Luxembourg,
United Nations University,
United Nations University,
Interdisciplinary Centre for Security, Reliability and Trust
show all 6
ORCID:
0009-0001-9591-0300
Observed ORCID:
0009-0001-9591-0300
OpenAlex ID:
A5009924300
Lightweight Static Analysis for GUI Testing
2012
·
Stephan Arlt
, Andreas Podelski
, et al.
·
Proceedings/Proceedings - International Symposium on Software Reliability Engineering
·
53
PDF
Reducing GUI test suites via program slicing
2014
·
Stephan Arlt
, Andreas Podelski
, et al.
·
International Symposium on Software Testing and Analysis
·
27
Joogie: Infeasible Code Detection for Java
2012
·
Stephan Arlt
, Martin Schäf
·
Lecture notes in computer science
·
18
PDF
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing
2015
·
Stephan Arlt
, Tobias Morciniec
, et al.
·
IEEE International Conference on Software Testing, Verification and Validation (ICST)
·
16
Grey-box GUI Testing: Efficient Generation of Event Sequences
2012
·
Arlt, Stephan
, Banerjee, Ishan
, et al.
·
arXiv (Cornell University)
·
15
PDF
Trends in Model-based GUI Testing
2012
·
Stephan Arlt
, Cristiano Bertolini
, et al.
·
Advances in computers
·
14
PDF
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation
2011
·
Stephan Arlt
, Cristiano Bertolini
, et al.
·
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
·
13
PDF
The Gradual Verifier
2014
·
Stephan Arlt
, Cindy Rubio-González
, et al.
·
Lecture notes in computer science
·
11
PDF
Joogie: from Java through Jimple to Boogie
2013
·
Stephan Arlt
, Philipp Rümmer
, et al.
·
10
Parameterized GUI Tests
2012
·
Stephan Arlt
, Pedro Borromeo
, et al.
·
Lecture notes in computer science
·
8
PDF
Verification of GUI Applications: A Black-Box Approach
2014
·
Stephan Arlt
, Evren Ermis
, et al.
·
Lecture notes in computer science
·
6
A Theory for Control-Flow Graph Exploration
2013
·
Stephan Arlt
, Philipp Rümmer
, et al.
·
Lecture notes in computer science
·
5
PDF
Dismantling Common Internet Services for Ad-Malware Detection
2024
·
Nettersheim, Florian
, Arlt, Stephan
, et al.
·
arXiv (Cornell University)
·
3
PDF
Reconstructing Paths for Reachable Code
2013
·
Stephan Arlt
, Zhiming Liu
, et al.
·
Lecture notes in computer science
·
3
PDF
Katti: An Extensive and Scalable Tool for Website Analyses
2023
·
Florian Nettersheim
, Stephan Arlt
, et al.
·
International World Wide Web Conference (WWW)
·
2
System Testing and Program Verification.
2015
·
Stephan Arlt
, Sergio Feo Arenis
, et al.
·
Software Engineering & Management
·
2
Utilizing DNS and VirusTotal for Automated Ad-Malware Detection
2024
·
Florian Nettersheim
, Stephan Arlt
, et al.
·
Lecture notes in computer science
·
1
Signal detection of substance-related emergency department visits during UEFA EURO 2024 in Germany: enhancing public health surveillance for future mass gatherings
2026
·
Carmen Schlump
, Madlen Schranz
, et al.
·
Frontiers in Public Health
PDF
The State of the Internet: Insights from Security Indicators
2026
·
Florian Nettersheim
, Stephan Arlt
·
International World Wide Web Conference (WWW)
Black-Box Verification for GUI Applications
2012
·
Arlt, Stephan
, Ermis, Evren
, et al.
·
arXiv (Cornell University)
PDF
Model-based development of embedded systems' user interfaces
2012
·
Jelena Barth
, Bernd Westphal
, et al.
Show more works
View as search
Works count:
26
Citation count:
207
H-index:
9
I10-index:
9
Year
Topic
Type
