Follow
Stephan Arlt
Stephan Arlt
Federal Office for Information Security
Verified email at bsi.bund.de - Homepage
Title
Cited by
Cited by
Year
Lightweight static analysis for GUI testing
S Arlt, A Podelski, C Bertolini, M Schäf, I Banerjee, AM Memon
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
752012
Reducing GUI test suites via program slicing
S Arlt, A Podelski, M Wehrle
Proceedings of the 2014 international symposium on software testing and …, 2014
312014
If A fails, can B still succeed? Inferring dependencies between test results in automotive system testing
S Arlt, T Morciniec, A Podelski, S Wagner
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
262015
Joogie: Infeasible code detection for java
S Arlt, M Schäf
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
262012
Grey-box gui testing: Efficient generation of event sequences
S Arlt, I Banerjee, C Bertolini, AM Memon, M Schäf
arXiv preprint arXiv:1205.4928, 2012
232012
The gradual verifier
S Arlt, C Rubio-González, P Rümmer, M Schäf, N Shankar
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
222014
Behind the scenes: an approach to incorporate context in GUI test case generation
S Arlt, C Bertolini, M Schäf
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
222011
Trends in model-based gui testing
S Arlt, C Bertolini, S Pahl, M Schäf
Advances in Computers 86, 183-222, 2012
212012
Joogie: From java through jimple to boogie
S Arlt, P Rümmer, M Schäf
Proceedings of the 2Nd ACM SIGPLAN International Workshop on State Of the …, 2013
132013
Parameterized GUI tests
S Arlt, P Borromeo, M Schäf, A Podelski
IFIP International Conference on Testing Software and Systems, 247-262, 2012
122012
Verification of GUI applications: A black-box approach
S Arlt, E Ermis, S Feo-Arenis, A Podelski
International Symposium On Leveraging Applications of Formal Methods …, 2014
72014
A theory for control-flow graph exploration
S Arlt, P Rümmer, M Schäf
Automated Technology for Verification and Analysis: 11th International …, 2013
42013
System testing and program verification
S Arlt, SF Arenis, A Podelski, M Wehrle
Gesellschaft für Informatik eV, 2015
22015
Reconstructing paths for reachable code
S Arlt, Z Liu, M Schäf
International Conference on Formal Engineering Methods, 431-446, 2013
22013
Katti: An Extensive and Scalable Tool for Website Analyses
F Nettersheim, S Arlt, M Rademacher, F Dehling
Companion Proceedings of the ACM Web Conference 2023, 217-220, 2023
2023
Computer Science Theory (Bridging Course)(Tutorial)
A Podelski, D Dietsch, M Heizmann, J Hoenicke, B Westphal, ...
Language, 2014
2014
Program analysis and black-box GUI testing
S Arlt
Dissertation, Albert-Ludwigs-Universität Freiburg, 2014, 2014
2014
Program Analysis and Black-box GUI Testing: Program Analysis und Black-box GUI Testing
S Arlt
Universität, 2014
2014
Formal Methods for Java
J Hoenicke
2012
Black-Box Verification for GUI Applications
S Arlt, E Ermis, S Feo-Arenis, A Podelski
arXiv preprint arXiv:1210.4686, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20