Xuan-Bach Dinh Le

According to our database, Xuan-Bach Dinh Le authored at least 39 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues.

Yue Liu, Thanh Le-Cong, Ratnadira Widyasari, Chakkrit Tantithamthavorn, Li Li, Xuan-Bach Dinh Le, David Lo

ACM Trans. Softw. Eng. Methodol., June, 2024

Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2023

Multi-Granularity Detector for Vulnerability Fixes.

Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Chengran Yang, Zhipeng Zhao, Bowen Xu, Jiayuan Zhou, Xin Xia, Ahmed E. Hassan, Xuan-Bach Dinh Le, David Lo

IEEE Trans. Software Eng., August, 2023

Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning.

Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh

IEEE Trans. Software Eng., June, 2023

Adversarial Attacks on Code Models with Discriminative Graph Patterns.

Thanh-Dat Nguyen, Yang Zhou, Xuan-Bach Dinh Le, Patanamon Thongtanunam, David Lo

CoRR, 2023

PatchZero: Zero-Shot Automatic Patch Correctness Assessment.

Xin Zhou, Bowen Xu, Kisub Kim, DongGyun Han, Thanh Le-Cong, Junda He, Xuan-Bach Dinh Le, David Lo

CoRR, 2023

Are We Ready to Embrace Generative AI for Software Q&A?

Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong, Thong Hoang, Jiakun Liu, Kisub Kim, Chen Gong, Changan Niu, Chenyu Wang, Xuan-Bach Dinh Le, David Lo

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

The Future Can't Help Fix The Past: Assessing Program Repair In The Wild.

Vinay Kabadi, Dezhen Kong, Siyu Xie, Lingfeng Bao, Gede Artha Azriadi Prana, Tien-Duy B. Le, Xuan-Bach Dinh Le, David Lo

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports.

Yunbo Lyu, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Zhipeng Zhao, Xuan-Bach Dinh Le, Ming Li, David Lo

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.

Quang Loc Le, Xuan-Bach Dinh Le

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

VulCurator: a vulnerability-fixing commit detector.

Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Xuan-Bach Dinh Le, David Lo

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

AutoPruner: transformer-based call graph pruning.

Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen, Stefanus Agus Haryono, David Lo, Xuan-Bach Dinh Le, Huynh Quyet Thang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Test mimicry to assess the exploitability of library vulnerabilities.

Hong Jin Kang, Truong Giang Nguyen, Xuan-Bach Dinh Le, Corina S. Pasareanu, David Lo

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

FFL: Fine-grained Fault Localization for Student Programs via Syntactic and Semantic Reasoning.

Thanh-Dat Nguyen, Thanh Le-Cong, Duc-Minh Luong, Van-Hai Duong, Xuan-Bach Dinh Le, David Lo, Quyet-Thang Huynh

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Toward the Analysis of Graph Neural Networks.

Thanh-Dat Nguyen, Thanh Le-Cong, ThanhVu H. Nguyen, Xuan-Bach Dinh Le, Quyet-Thang Huynh

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results ICSE (NIER) 2022, 2022

2021

Smart Contract Development: Challenges and Opportunities.

Weiqin Zou, David Lo, Pavneet Singh Kochhar, Xuan-Bach Dinh Le, Xin Xia, Yang Feng, Zhenyu Chen, Baowen Xu

IEEE Trans. Software Eng., 2021

More Reliable Test Suites for Dynamic APR by using Counterexamples.

Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, Xuan-Bach Dinh Le

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors.

Xuan-Bach Dinh Le, Quang Loc Le

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Usability and Aesthetics: Better Together for Automated Repair of Web Pages.

Thanh Le-Cong, Xuan-Bach Dinh Le, Huynh Quyet Thang, Phi Le Nguyen

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.

Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Adversarial Patch Generation for Automatic Program Repair.

Abdulaziz Alhefdhi, Hoa Khanh Dam, Xuan-Bach Dinh Le, Aditya Ghose

CoRR, 2020

2019

Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.

Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen

ACM SIGSOFT Softw. Eng. Notes, 2019

Symbolic Pathfinder for SV-COMP - (Competition Contribution).

Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

On reliability of patch correctness assessment.

Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Overfitting in semantics-based automated program repair.

Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues

Empir. Softw. Eng., 2018

On Reliability of Patch Correctness Assessment.

Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li

CoRR, 2018

2017

XSearch: a domain-specific cross-language relevant question retrieval tool.

Bowen Xu, Zhenchang Xing, Xin Xia, David Lo, Xuan-Bach Dinh Le

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

S3: syntax- and semantic-guided repair synthesis via programming by examples.

Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

JFIX: semantics-based repair of Java programs via symbolic PathFinder.

Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

History Driven Program Repair.

Xuan-Bach Dinh Le, David Lo, Claire Le Goues

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Towards efficient and effective automatic program repair.

Xuan-Bach Dinh Le

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Recommending Code Changes for Automatic Backporting of Linux Device Drivers.

Ferdian Thung, Xuan-Bach Dinh Le, David Lo, Julia Lawall

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Enhancing Automated Program Repair with Deductive Verification.

Xuan-Bach Dinh Le, Quang Loc Le, David Lo, Claire Le Goues

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Empirical Study on Synthesis Engines for Semantics-Based Program Repair.

Xuan-Bach Dinh Le, David Lo, Claire Le Goues

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Exploring Human: eBike Interaction to Support Rider Autonomy.

Josh Andres, Julian de Hoog, Jürg von Känel, Julian Berk, Xuan-Bach Dinh Le, Xizi Wang, Marcus Brazil, Florian 'Floyd' Mueller

Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play, 2016

2015

Synergizing Specification Miners through Model Fissions and Fusions (T).

Tien-Duy B. Le, Xuan-Bach Dinh Le, David Lo, Ivan Beschastnikh

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Active semi-supervised defect categorization.

Ferdian Thung, Xuan-Bach Dinh Le, David Lo

Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, 2015

Should fixing these failures be delegated to automated program repair?

Xuan-Bach Dinh Le, Tien-Duy B. Le, David Lo

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015