Hoang-Viet Tran

19 papers Journal 4Unranked 15
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Clifford Algebraic Approach to E(n)-Equivariant High-order Graph Neural Networks.
CoRR
Hoang-Viet Tran, Thieu N. Vo, Tho Tran Huu, Tan Minh Nguyen
2024 — conf
An Application of Pairwise Testing for Error Detection in Concolic Testing for Java Projects.
KSE
Hoang-Viet Tran, Minh Quan Nguyen, Thi Trang Do, Do Thi Hong Van, Pham Ngoc Hung
2024 — conf
On Improvements of the Error Detection Capability in Concolic Testing for Java Projects.
KSE
Hoang-Viet Tran, Ngoc Anh Quan Tran, Ngoc Huy Nguyen, Do Thi Hong Van, Lai Vu Thu Nguyet, Pham Ngoc Hung
2023 — conf
A Method for Detecting and Generating Test Data for Runtime Errors in C/C++ Project Units.
RIVF
Linh Ngoc Truc Tran, Nguyen Duc Nguyen, Hieu Vu Duc, Hoang Nguyen Viet, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung
2022 — conf
A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects.
RIVF
Thu Anh Bui, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung
2022 — conf
A Pairwise Based Method for Automated Test Data Generation for $\mathrm{C}/\mathrm{C}++$ Projects.
RIVF
Hoang-Viet Tran, Lam Nguyen Tung, Pham Ngoc Hung
2022 — conf
An Automated Program Repair Method Using Atomic Replacement for Java Programs.
RIVF
Thi-Huyen Nguyen, Nguyen Van Hoan, Hoang-Viet Tran, Pham Ngoc Hung
2022 — conf
An Automated Stub Method for Unit Testing C/C++ Projects.
KSE
Tran Nguyen Huong, Le Huu Chung, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung
2022 — conf
An Automated Test Data Generation Method for Templates of C++ Projects.
KSE
Minh-Hieu Do, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung
2022 — conf
An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects.
KSE
Hoang-Viet Tran, Pham Ngoc Hung
2022 J jnl
An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects.
Inf. Softw. Technol.
Lam Nguyen Tung, Hoang-Viet Tran, Khoi Nguyen Le, Pham Ngoc Hung
2021 — conf
A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software.
KSE
Hoang-Viet Tran, Pham Ngoc Hung
2020 J jnl
A framework for assume-guarantee regression verification of evolving software.
Sci. Comput. Program.
Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki Aoki
2020 — conf
Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values.
KSE
Tran Nguyen Huong, Do Minh Kha, Hoang-Viet Tran, Pham Ngoc Hung
2019 — conf
On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems.
SoICT
Hoang-Viet Tran, Quang-Trung Nguyen, Pham Ngoc Hung
2019 J jnl
On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Inf. Syst.
Hoang-Viet Tran, Pham Ngoc Hung, Viet Ha Nguyen
2018 — conf
On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software.
KSE
Hoang-Viet Tran, Pham Ngoc Hung, Dang Van Hung
2017 — conf
On Implementation of the Assumption Generation Method for Component-Based Software Verification.
ACIIDS (Extended Posters)
Chi-Luan Le, Hoang-Viet Tran, Pham Ngoc Hung
2014 — conf
An Efficient Method for Automated Generating Models of Component-Based Software.
KSE
Hoang-Viet Tran, Chi-Luan Le, Quang-Trung Nguyen, Pham Ngoc Hung