System Testing and Program Verification. | 1 | 0.35 | 2015 |
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing | 3 | 0.40 | 2015 |
Reducing GUI test suites via program slicing | 12 | 0.58 | 2014 |
The Gradual Verifier. | 4 | 0.45 | 2014 |
Verification of GUI Applications: A Black-Box Approach | 3 | 0.43 | 2014 |
Joogie: from Java through Jimple to Boogie. | 5 | 0.47 | 2013 |
Reconstructing Paths for Reachable Code. | 2 | 0.39 | 2013 |
A Theory for Control-Flow Graph Exploration. | 3 | 0.41 | 2013 |
Joogie: infeasible code detection for java | 9 | 0.53 | 2012 |
Lightweight Static Analysis for GUI Testing | 12 | 0.71 | 2012 |
Trends in Model-based GUI Testing. | 3 | 0.38 | 2012 |
Parameterized GUI Tests. | 3 | 0.38 | 2012 |
Model-based development of embedded systems' user interfaces | 0 | 0.34 | 2012 |
Grey-box GUI Testing: Efficient Generation of Event Sequences | 2 | 0.37 | 2012 |
Black-Box Verification for GUI Applications | 0 | 0.34 | 2012 |
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation | 7 | 0.47 | 2011 |