Follow
Bach Le
Bach Le
Lecturer, ARC DECRA Fellow, 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
5632019
History driven automated program repair
XBD Le, D Lo, C Le Goues
23rd International Conference on Software Analysis, Evolution, and …, 2016
403*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
2552017
Overfitting in Semantics-based Automated Program Repair
XBD Le, F Thung, D Lo, C Le Goues
Empirical Software Engineering Journal, 2017
1092017
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
882017
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
852019
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
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
372016
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
362021
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
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
252016
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
222021
Towards efficient and effective automatic program repair
XBD Le
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
212016
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
182022
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, 2023
172023
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
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
172019
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
122022
The system can't perform the operation now. Try again later.
Articles 1–20