References of "Schäf, Martin"
     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: 44 (3 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: 61 (4 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: 62 (5 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: 25 (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: 76 (5 UL)
Full Text
Peer Reviewed
See detailJoogie: Infeasible Code Detection for Java
Arlt, Stephan UL; Schäf, Martin

in CAV (2012)

Detailed reference viewed: 63 (0 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: 65 (4 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: 53 (0 UL)