Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Ultimate Kojak - (Competition Contribution). | 1 | 0.36 | 2014 |
| Verification of GUI Applications: A Black-Box Approach | 3 | 0.43 | 2014 |
| Flow-Sensitive Fault Localization | 9 | 0.48 | 2013 |
| Ultimate Automizer with SMTInterpol - (Competition Contribution). | 7 | 0.53 | 2013 |
| Splitting via interpolants | 5 | 0.43 | 2012 |
| Error Invariants. | 0 | 0.34 | 2012 |
| Black-Box Verification for GUI Applications | 0 | 0.34 | 2012 |