Segui
Bach Le
Bach Le
Senior Lecturer, ARC DECRA, School of Computing and Information Systems, The University of Melbourne
Email verificata su unimelb.edu.au - Home page
Titolo
Citata da
Citata da
Anno
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
7572019
History driven program repair
XBD Le, D Lo, C Le Goues
23rd International Conference on Software Analysis, Evolution, and …, 2016
4602016
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
2952017
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
129*2024
Overfitting in Semantics-based Automated Program Repair
XBD Le, F Thung, D Lo, C Le Goues
Empirical Software Engineering Journal, 2017
1282017
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
102*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
Active semi-supervised defect categorization
F Thung, XBD Le, D Lo
2015 IEEE 23rd International Conference on Program Comprehension, 60-70, 2015
742015
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
612016
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
462021
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
322023
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
322021
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
292022
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
282022
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
282016
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
23*2023
Test mimicry to assess the exploitability of library vulnerabilities
HJ Kang, TG Nguyen, B Le, CS Păsăreanu, D Lo
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
232022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20