| 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 | 77 | 2012 |
| Reducing GUI test suites via program slicing S Arlt, A Podelski, M Wehrle Proceedings of the 2014 international symposium on software testing and …, 2014 | 31 | 2014 |
| Joogie: Infeasible code detection for java S Arlt, M Schäf Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 27 | 2012 |
| 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 | 26 | 2015 |
| 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 | 24 | 2012 |
| 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 | 22 | 2014 |
| Trends in model-based gui testing S Arlt, C Bertolini, S Pahl, M Schäf Advances in Computers 86, 183-222, 2012 | 22 | 2012 |
| 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 | 22 | 2011 |
| 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 | 13 | 2013 |
| Parameterized GUI tests S Arlt, P Borromeo, M Schäf, A Podelski IFIP International Conference on Testing Software and Systems, 247-262, 2012 | 12 | 2012 |
| 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 | 8 | 2014 |
| A theory for control-flow graph exploration S Arlt, P Rümmer, M Schäf Automated Technology for Verification and Analysis: 11th International …, 2013 | 4 | 2013 |
| 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 | 2 | 2023 |
| System testing and program verification S Arlt, SF Arenis, A Podelski, M Wehrle Gesellschaft für Informatik eV, 2015 | 2 | 2015 |
| Reconstructing paths for reachable code S Arlt, Z Liu, M Schäf International Conference on Formal Engineering Methods, 431-446, 2013 | 2 | 2013 |
| Utilizing DNS and VirusTotal for Automated Ad-Malware Detection F Nettersheim, S Arlt, M Rademacher International Conference on Web Engineering, 393-396, 2024 | | 2024 |
| Dismantling Common Internet Services for Ad-Malware Detection F Nettersheim, S Arlt, M Rademacher arXiv preprint arXiv:2404.14190, 2024 | | 2024 |
| 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 |
Martin SchaefAmazon Web ServicesVerified email at amazon.com
