| 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 47 (10), 2084-2106, 2019 | 428 | 2019 |
| History driven automated program repair XBD Le, D Lo, C Le Goues 23rd International Conference on Software Analysis, Evolution, and …, 2016 | 382* | 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 | 236 | 2017 |
| Overfitting in Semantics-based Automated Program Repair XBD Le, F Thung, D Lo, C Le Goues Empirical Software Engineering Journal, 2017 | 103 | 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 | 80 | 2017 |
| 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 | 79 | 2019 |
| Active semi-supervised defect categorization F Thung, XBD Le, D Lo 2015 IEEE 23rd International Conference on Program Comprehension, 60-70, 2015 | 64 | 2015 |
| 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 | 61 | 2015 |
| 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 | 60 | 2016 |
| 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 | 38 | 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 | 36 | 2015 |
| Exploring true test overfitting in dynamic automated program repair using formal methods A Nilizadeh, GT Leavens, XBD Le, CS Păsăreanu, DR Cok 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 27 | 2021 |
| 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 | 24 | 2016 |
| 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, 2021 | 22 | 2021 |
| Towards efficient and effective automatic program repair XBD Le Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 21 | 2016 |
| Symbolic Pathfinder for SV-COMP: (Competition Contribution) Y Noller, CS Păsăreanu, A Fromherz, XBD Le, W Visser Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 15 | 2019 |
| More reliable test suites for dynamic APR by using counterexamples A Nilizadeh, M Calvo, GT Leavens, XBD Le 2021 IEEE 32nd International Symposium on Software Reliability Engineering …, 2021 | 14 | 2021 |
| 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 | 10 | 2017 |
| Autopruner: transformer-based call graph pruning T Le-Cong, HJ Kang, TG Nguyen, SA Haryono, D Lo, XBD Le, QT Huynh Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 9 | 2022 |
| Test mimicry to assess the exploitability of library vulnerabilities HJ Kang, TG Nguyen, B Le, CS Păsăreanu, D Lo Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 8 | 2022 |
David LoProfessor of Computer Science, Singapore Management UniversityVerified email at smu.edu.sg
