Xuan-Bach Dinh Le
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
6
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICST | 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 |
| 2023 | FOSSACS | An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. | Quang Loc Le, Xuan-Bach Dinh Le |
| 2023 | ICSE | 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 |
| 2022 | ICSE | Toward the Analysis of Graph Neural Networks. | Thanh-Dat Nguyen, Thanh Le-Cong, ThanhVu H. Nguyen, Xuan-Bach Dinh Le, Quyet-Thang Huynh |
| 2021 | ICST | 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 |
| 2021 | ISSRE | Usability and Aesthetics: Better Together for Automated Repair of Web Pages. | Thanh Le-Cong, Xuan-Bach Dinh Le, Huynh Quyet Thang, Phi Le Nguyen |
| 2021 | ISSRE | ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors. | Xuan-Bach Dinh Le, Quang Loc Le |
| 2021 | ISSRE | More Reliable Test Suites for Dynamic APR by using Counterexamples. | Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, Xuan-Bach Dinh Le |
| 2019 | ICSE | On reliability of patch correctness assessment. | Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu |
| 2019 | TACAS | Symbolic Pathfinder for SV-COMP - (Competition Contribution). | Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser |
| 2018 | ICSE | Overfitting in semantics-based automated program repair. | Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues |
| 2017 | ISSTA | JFIX: semantics-based repair of Java programs via symbolic PathFinder. | Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser |
| 2015 | ISSRE | Should fixing these failures be delegated to automated program repair? | Xuan-Bach Dinh Le, Tien-Duy B. Le, David Lo |