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
6642019
History driven automated program repair
XBD Le, D Lo, C Le Goues
23rd International Conference on Software Analysis, Evolution, and …, 2016
441*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
2792017
Overfitting in Semantics-based Automated Program Repair
XBD Le, F Thung, D Lo, C Le Goues
Empirical Software Engineering Journal, 2017
1182017
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
892019
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
892017
Active semi-supervised defect categorization
F Thung, XBD Le, D Lo
2015 IEEE 23rd International Conference on Program Comprehension, 60-70, 2015
692015
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
622015
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
402021
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
402016
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
362024
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
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
262021
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
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
242023
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
222022
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
212022
Towards efficient and effective automatic program repair
XBD Le
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
212016
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
172021
The system can't perform the operation now. Try again later.
Articles 1–20