An analysis of patch plausibility and correctness for generate-and-validate patch generation systems Z Qi, F Long, S Achour, M Rinard Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 522 | 2015 |
Chisel: Reliability-and accuracy-aware optimization of approximate computational kernels S Misailovic, M Carbin, S Achour, Z Qi, MC Rinard ACM Sigplan Notices 49 (10), 309-328, 2014 | 242 | 2014 |
Toward a distance oracle for billion-node graphs Z Qi, Y Xiao, B Shao, H Wang Proceedings of the VLDB Endowment 7 (1), 61-72, 2013 | 58 | 2013 |
Efficient automatic patch generation and defect identification in kali Z Qi, F Long, S Achour, M Rinard International Symposium on Software Testing and Analysis (ISSTA), 2015 | 13 | 2015 |
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material) Z Qi, F Long, S Achour, M Rinard | 1 | 2015 |
Automatic Program Repair with Condition Synthesis and Compound Mutations F Long, Z Qi, S Achour, M Rinard | | 2015 |