Profil

ARLT Stephan

Main Referenced Co-authors
Schäf, Martin (8)
Bertolini, Cristiano (3)
Podelski, Andreas (3)
Rümmer, Philipp (2)
Banerjee, Ishan (1)
Main Referenced Disciplines
Computer science (9)

Publications (total 9)

The most downloaded
735 downloads
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 https://hdl.handle.net/10993/10431

The most cited

42 citations (Scopus®)

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 https://hdl.handle.net/10993/10428

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., Liu, Z., & Schäf, M. (2013). Reconstructing Paths for Reachable Code. In ICFEM.
Peer reviewed

Arlt, S., Rümmer, P., & Schäf, M. (2013). A Theory for Control-Flow Graph Exploration. In ATVA.
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

Contact ORBilu