  | Arlt, S., Rubio-González, C., Rümmer, P., Schäf, M., & Shankar, N. (2014). The Gradual Verifier. In NASA Formal Methods, Houston 29 April - 1 May 2014.  Peer reviewed |
 | Arlt, S., Podelski, A., & Wehrle, M. (2014). Reducing GUI Test Suites via Program Slicing. In International Symposium on Software Testing and Analysis, San Jose 21-25 July 2014. Peer reviewed |
 | Arlt, S., Rümmer, P., & Schäf, M. (2013). A Theory for Control-Flow Graph Exploration. In ATVA. Peer reviewed |
 | Arlt, S., Liu, Z., & Schäf, M. (2013). Reconstructing Paths for Reachable Code. In ICFEM. Peer reviewed |
 | Arlt, S., Bertolini, C., Pahl, S., & Schäf, M. (2012). Trends in Model-based GUI Testing. Advances in Computers, 86, 183-222. doi:10.1016/B978-0-12-396535-6.00006-5 Peer reviewed |
 | Arlt, S., Podelski, A., Bertolini, C., Schäf, M., Banerjee, I., & Memon, A. M. (2012). Lightweight Static Analysis for GUI Testing. In ISSRE. doi:10.1109/ISSRE.2012.25 Peer reviewed |
 | Arlt, S., Borromeo, P., Schäf, M., & Podelski, A. (2012). Parameterized GUI Tests. In ICTSS. Peer reviewed |
 | Arlt, S., & Schäf, M. (2012). Joogie: Infeasible Code Detection for Java. In CAV. Peer reviewed |
 | Arlt, S., Bertolini, C., & Schäf, M. (2011). Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. In ICST Workshops. Peer reviewed |