History driven automated program repair XBD Le, D Lo, C Le Goues 23rd International Conference on Software Analysis, Evolution, and …, 2016 | 226* | 2016 |
S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples XBD Le, DH Chu, D Lo, C Le Goues, W Visser Joint Meeting of the European Software Engineering Conference and the ACM …, 2017 | 138 | 2017 |
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder XBD Le, DH Chu, D Lo, C Le Goues, W Visser International Symposium on Software Testing and Analysis (ISSTA), 376-379, 2017 | 53 | 2017 |
Synergizing specification miners through model fissions and fusions (t) TDB Le, XBD Le, D Lo, I Beschastnikh 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 49 | 2015 |
Overfitting in Semantics-based Automated Program Repair XBD Le, F Thung, D Lo, C Le Goues Empirical Software Engineering Journal, 2017 | 47 | 2017 |
Enhancing automated program repair with deductive verification XBD Le, QL Le, D Lo, C Le Goues 2016 IEEE International Conference on Software Maintenance and Evolution …, 2016 | 46 | 2016 |
Active semi-supervised defect categorization F Thung, XBD Le, D Lo 2015 IEEE 23rd International Conference on Program Comprehension, 60-70, 2015 | 38 | 2015 |
Empirical study on synthesis engines for semantics-based program repair XBD Le, D Lo, C Le Goues 2016 IEEE International Conference on Software Maintenance and Evolution …, 2016 | 28 | 2016 |
Should fixing these failures be delegated to automated program repair? XBD Le, TDB Le, D Lo 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015 | 27 | 2015 |
Smart contract development: Challenges and opportunities W Zou, D Lo, PS Kochhar, XBD Le, X Xia, Y Feng, Z Chen, B Xu IEEE Transactions on Software Engineering, 2019 | 25 | 2019 |
On reliability of patch correctness assessment XBD Le, L Bao, D Lo, X Xia, S Li, C Pasareanu 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 24 | 2019 |
Towards efficient and effective automatic program repair XBD Le 2016 31st IEEE/ACM International Conference on Automated Software …, 2016 | 16 | 2016 |
Recommending code changes for automatic backporting of linux device drivers F Thung, XBD Le, D Lo, J Lawall 2016 IEEE International Conference on Software Maintenance and Evolution …, 2016 | 12 | 2016 |
Symbolic pathfinder for SV-COMP Y Noller, CS Păsăreanu, A Fromherz, XBD Le, W Visser International Conference on Tools and Algorithms for the Construction and …, 2019 | 7 | 2019 |
Overfitting in automated program repair: Challenges and solutions DXB LE Singapore Management University, 2018 | 5 | 2018 |
Xsearch: a domain-specific cross-language relevant question retrieval tool B Xu, Z Xing, X Xia, D Lo, XBD Le Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 5 | 2017 |
SAFFRON: Adaptive grammar-based fuzzing for worst-case analysis XBD Le, C Pasareanu, R Padhye, D Lo, W Visser, K Sen ACM SIGSOFT Software Engineering Notes 44 (4), 14-14, 2019 | 3 | 2019 |
Adversarial Patch Generation for Automatic Program Repair A Alhefdhi, HK Dam, XBD Le, A Ghose arXiv preprint arXiv:2012.11060, 2020 | | 2020 |
The Java Pathfinder Workshop 2019 C Artho, QS Phan, P Aldous, A Almaawi, L Bang, L Berglund, T Bultan, ... ACM SIGSOFT Software Engineering Notes 45 (2), 20-22, 2020 | | 2020 |
[Journal First] Overfitting in Semantics-Based Automated Program Repair XBD Le, F Thung, D Lo, C Le Goues 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018 | | 2018 |