Følg
Bach Le
Bach Le
Senior Lecturer, ARC DECRA, School of Computing and Information Systems, The University of Melbourne
Verificeret mail på unimelb.edu.au - Startside
Titel
Citeret af
Citeret af
År
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
6352019
History driven automated program repair
XBD Le, D Lo, C Le Goues
23rd International Conference on Software Analysis, Evolution, and …, 2016
430*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
2712017
Overfitting in Semantics-based Automated Program Repair
XBD Le, F Thung, D Lo, C Le Goues
Empirical Software Engineering Journal, 2017
1162017
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
872017
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
392016
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
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
332024
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
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
252021
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
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
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
202022
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20