| SemCluster: clustering of imperative programming assignments based on quantitative semantic features | 0 | 0.34 | 2019 |
| SLF: fuzzing without valid seed inputs | 6 | 0.42 | 2019 |
| Accelerating array constraints in symbolic execution. | 8 | 0.47 | 2017 |
| UI driven Android application reduction. | 3 | 0.37 | 2017 |
| Apex: automatic programming assignment error explanation. | 5 | 0.49 | 2016 |
