References of "Arlt, Stephan 40080987"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailThe Gradual Verifier
Arlt, Stephan UL; Rubio-González, Cindy; Rümmer, Philipp et al

in NASA Formal Methods, Houston 29 April - 1 May 2014 (2014)

Detailed reference viewed: 62 (3 UL)
Full Text
Peer Reviewed
See detailReducing GUI Test Suites via Program Slicing
Arlt, Stephan UL; Podelski, Andreas; Wehrle, Martin

in International Symposium on Software Testing and Analysis, San Jose 21-25 July 2014 (2014)

Detailed reference viewed: 105 (1 UL)
Full Text
Peer Reviewed
See detailA Theory for Control-Flow Graph Exploration
Arlt, Stephan UL; Rümmer, Philipp; Schäf, Martin

in ATVA (2013)

Detailed reference viewed: 115 (5 UL)
Full Text
Peer Reviewed
See detailReconstructing Paths for Reachable Code
Arlt, Stephan UL; Liu, Zhiming; Schäf, Martin

in ICFEM (2013)

Detailed reference viewed: 111 (4 UL)
Full Text
Peer Reviewed
See detailParameterized GUI Tests
Arlt, Stephan UL; Borromeo, Pedro; Schäf, Martin et al

in ICTSS (2012)

Detailed reference viewed: 45 (1 UL)
Full Text
Peer Reviewed
See detailTrends in Model-based GUI Testing
Arlt, Stephan UL; Bertolini, Cristiano; Pahl, Simon et al

in Advances in Computers (2012), 86

Detailed reference viewed: 120 (5 UL)
Full Text
Peer Reviewed
See detailLightweight Static Analysis for GUI Testing
Arlt, Stephan UL; Podelski, Andreas; Bertolini, Cristiano et al

in ISSRE (2012)

Detailed reference viewed: 119 (4 UL)
Full Text
Peer Reviewed
See detailJoogie: Infeasible Code Detection for Java
Arlt, Stephan UL; Schäf, Martin

in CAV (2012)

Detailed reference viewed: 139 (0 UL)
Full Text
Peer Reviewed
See detailBehind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation
Arlt, Stephan UL; Bertolini, Cristiano; Schäf, Martin

in ICST Workshops (2011)

Detailed reference viewed: 102 (0 UL)