Bach Le

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

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

Journal article  |  2023  |  IEEE Transactions on Software Engineering

VulCurator: a vulnerability-fixing commit detector

TG Nguyen, T Le-Cong, HJ Kang, XBD Le, D Lo

Conference Proceedings  |  2022  |  ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Open-source software (OSS) vulnerability management process is important nowadays, as the number of discovered OSS vulnerabilities..

AutoPruner: transformer-based call graph pruning

T Le-Cong, HJ Kang, TG Nguyen, SA Haryono, D Lo, XBD Le, QT Huynh

Conference Proceedings  |  2022  |  ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Constructing a static call graph requires trade-offs between soundness and precision. Program analysis techniques for constructing..

Toward the Analysis of Graph Neural Networks

TD Nguyen, T Le-Cong, TVH Nguyen, XBD Le, QT Huynh

Conference Proceedings  |  2022  |  Proceedings - International Conference on Software Engineering

Graph Neural Networks (GNNs) have recently emerged as an effective framework for representing and analyzing graph-structured data...

Toward the Analysis of Graph Neural Networks

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

Conference Proceedings  |  2022  |  2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 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 D Le, David Lo, Quyet-Thang Huynh

Conference Proceedings  |  2022  |  2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2022)

Fault localization has been used to provide feedback for incorrect student programs since locations of faults can be a valuable hi..

More Reliable Test Suites for Dynamic APR by using Counterexamples

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

Conference Proceedings  |  2021  |  2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)

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

Xuan-Bach D Le, Quang Loc Le

Conference Proceedings  |  2021  |  2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)

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

Journal article  |  2021  |  IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Smart contract, a term which was originally coined to refer to the automation of legal contracts in general, has recently seen muc..

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

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

Conference Proceedings  |  2021  |  2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)