Xuan-Bach D. Le
Xuan-Bach D. Le
School of Computing and Information Systems, The University of Melbourne
Verified email at unimelb.edu.au - Homepage
Title
Cited by
Cited by
Year
History driven automated program repair
XBD Le, D Lo, C Le Goues
23rd International Conference on Software Analysis, Evolution, and …, 2016
191*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
1192017
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
512017
Overfitting in Semantics-based Automated Program Repair
XBD Le, F Thung, D Lo, C Le Goues
Empirical Software Engineering Journal, 2017
362017
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
362016
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
362015
Active semi-supervised defect categorization
F Thung, XBD Le, D Lo
2015 IEEE 23rd International Conference on Program Comprehension, 60-70, 2015
332015
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
262016
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
222015
On reliability of patch correctness assessment
DXB Le, L Bao, D Lo, X Xia, S Li, C Pasareanu
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
182019
Towards efficient and effective automatic program repair
XBD Le
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
152016
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, 2019
142019
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
112016
Symbolic pathfinder for SV-COMP
Y Noller, CS Păsăreanu, A Fromherz, XBD Le, W Visser
International Conference on Tools and Algorithms for the Construction and …, 2019
52019
Overfitting in automated program repair: Challenges and solutions
DXB LE
Singapore Management University, 2018
52018
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
42017
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, 2019
32019
The Java Pathfinder Workshop 2019
C Artho, QS Phan, P Aldous, A Almaawi, L Bang, L Berglund, T Bultan, ...
ACM SIGSOFT Software Engineering Notes 45 (2), 20-22, 2020
2020
[Journal First] Overfitting in Semantics-Based Automated Program Repair
XBD Le, F Thung, D Lo, C Le Goues
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
2018
QRS 2019
R Abreu, J Ai, D Amalfitano, DH Bae, X Bai, L Bao, D Benavides, ...
The system can't perform the operation now. Try again later.
Articles 1–20