Follow
Bach Le
Bach Le
Senior Lecturer, ARC DECRA, School of Computing and Information Systems, The University of Melbourne
Verified email at unimelb.edu.au - Homepage
Title
Cited by
Cited by
Year
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
7132019
History driven automated program repair
XBD Le, D Lo, C Le Goues
23rd International Conference on Software Analysis, Evolution, and …, 2016
452*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
2902017
Overfitting in Semantics-based Automated Program Repair
XBD Le, F Thung, D Lo, C Le Goues
Empirical Software Engineering Journal, 2017
1222017
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
99*2019
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
932017
Refining chatgpt-generated code: Characterizing and mitigating code quality issues
Y Liu, T Le-Cong, R Widyasari, C Tantithamthavorn, L Li, XBD Le, D Lo
ACM Transactions on Software Engineering and Methodology 33 (5), 1-26, 2024
92*2024
Active semi-supervised defect categorization
F Thung, XBD Le, D Lo
2015 IEEE 23rd International Conference on Program Comprehension, 60-70, 2015
722015
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
652015
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
602016
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
442021
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
422016
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
362015
Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning
T Le-Cong, DM Luong, XBD Le, D Lo, NH Tran, B Quang-Huy, QT Huynh
IEEE Transactions on Software Engineering 49 (6), 3411-3429, 2023
302023
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
292021
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
262016
Vulcurator: a vulnerability-fixing commit detector
TG Nguyen, T Le-Cong, HJ Kang, XBD Le, D Lo
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
242022
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
232022
Towards efficient and effective automatic program repair
XBD Le
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
212016
Chronos: Time-aware zero-shot identification of libraries from vulnerability reports
Y Lyu, T Le-Cong, HJ Kang, R Widyasari, Z Zhao, XBD Le, M Li, D Lo
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
20*2023
The system can't perform the operation now. Try again later.
Articles 1–20