Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. - Pham Ngoc Hung; Takuya Katayama (APSEC, 2008)

A Minimized Assumption Generation Method for Component-Based Software Verification. - Pham Ngoc Hung; Toshiaki Aoki; Takuya Katayama (ICTAC, 2009)

An effective framework for assume-guarantee verification of evolving component-based software. - Pham Ngoc Hung; Toshiaki Aoki; Takuya Katayama (EVOL/IWPSE, 2009)

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. - Pham Ngoc Hung; Toshiaki Aoki; Takuya Katayama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

A Minimized Assumption Generation Method for Component-Based Software Verification. - Pham Ngoc Hung; Viet Ha Nguyen 001; Toshiaki Aoki; Takuya Katayama (IEICE Trans. Inf. Syst., 2010)

A Method for Generating Models of Black-Box Components. - Le Ba Cuong; Pham Ngoc Hung (KSE, 2012)

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. - Pham Ngoc Hung; Viet Ha Nguyen 001; Toshiaki Aoki; Takuya Katayama (RIVF, 2012)

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. - Pham Ngoc Hung; Viet Ha Nguyen 001; Toshiaki Aoki; Takuya Katayama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

An Efficient Method for Automated Control Flow Testing of Programs. - Quang-Trung Nguyen; Pham Ngoc Hung (ICCASA, 2013)

A Method and Tool Support for Automated Data Flow Testing of Java Programs. - Van-Cuong Pham; Pham Ngoc Hung (ICCASA, 2013)

An assume-guarantee model checker for component-based systems. - Duong Hoang-Minh; Trinh Le-Khanh; Pham Ngoc Hung (RIVF, 2013)

An Efficient Method for Automated Generating Models of Component-Based Software. - Hoang-Viet Tran; Chi-Luan Le; Quang-Trung Nguyen; Pham Ngoc Hung (KSE, 2014)

A Correlation-aware Negotiation Approach for Service Composition. - Son Van Nguyen; Hieu Dinh Vo; Pham Ngoc Hung (SoICT, 2015)

A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language. - Thi-Dao Vu; Pham Ngoc Hung; Viet-Ha Nguyen 001 (SoICT, 2015)

An approach to learn hand movements for robot actions from human demonstrations. - Pham Ngoc Hung; Takashi Yoshimi (SII, 2016)

On Implementation of the Assumption Generation Method for Component-Based Software Verification. - Chi-Luan Le; Hoang-Viet Tran; Pham Ngoc Hung (ACIIDS (Extended Posters), 2017)

A Method for Automated Test Cases Generation from UML Models with String Constraints. - Thi-Dao Vu; Pham Ngoc Hung; Viet Ha Nguyen 001 (ACIIDS (Extended Posters), 2017)

A Test Data Generation Method for C/C++ Projects. - Duc Anh Nguyen; Pham Ngoc Hung (SoICT, 2017)

On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. - Hoang-Viet Tran; Pham Ngoc Hung; Dang Van Hung (KSE, 2018)

A method for Automated User Interface Testing of Windows-based Applications. - Duong Dinh Tran; Pham Ngoc Hung; Tung Nguyen Duy (SoICT, 2018)

On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. - Hoang-Viet Tran; Quang-Trung Nguyen; Pham Ngoc Hung (SoICT, 2019)

On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification. - Hoang-Viet Tran; Pham Ngoc Hung; Viet Ha Nguyen 001 (IEICE Trans. Inf. Syst., 2019)

Improvements of Directed Automated Random Testing in Test Data Generation for C++ Projects. - Duc Anh Nguyen; Tran Nguyen Huong; Hieu Dinh Vo; Pham Ngoc Hung (Int. J. Softw. Eng. Knowl. Eng., 2019)

Practical approach to access the impact of global variables on program parallelism. - Thu-Trang Nguyen; Hue Nguyen; Quang-Cuong Bui; Pham Ngoc Hung; Dinh-Hieu Vo; Shigeki Takeuchi (ACOMP, 2020)

Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values. - Tran Nguyen Huong; Do Minh Kha; Hoang-Viet Tran; Pham Ngoc Hung (KSE, 2020)

A framework for assume-guarantee regression verification of evolving software. - Hoang-Viet Tran; Pham Ngoc Hung; Viet-Ha Nguyen 001; Toshiaki Aoki (Sci. Comput. Program., 2020)

Arext: Automatic Regular Expression Testing Tool Based on Generating Strings With Full Coverage. - Nguyen Van Hoan; Pham Ngoc Hung (KSE, 2021)

Automated Test Data Generation for Typescript Web Applications. - Doan Thi Hoai Thu; Duc-Anh Nguyen; Pham Ngoc Hung (KSE, 2021)

A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software. - Hoang-Viet Tran; Pham Ngoc Hung (KSE, 2021)

An Autoencoder-based Method for Targeted Attack on Deep Neural Network Models. - Duc-Anh Nguyen; Do Minh Kha; Pham Thi To Nga; Pham Ngoc Hung (RIVF, 2021)

Method for Improving Quality of Adversarial Examples. - Duc-Anh Nguyen; Do Minh Kha; Duc-Anh Pham; Pham Ngoc Hung (ICAART (2), 2022)

An Automated Test Data Generation Method for Templates of C++ Projects. - Minh-Hieu Do; Lam Nguyen Tung; Hoang-Viet Tran; Pham Ngoc Hung (KSE, 2022)

An Automated Stub Method for Unit Testing C/C++ Projects. - Tran Nguyen Huong; Le Huu Chung; Lam Nguyen Tung; Hoang-Viet Tran; Pham Ngoc Hung (KSE, 2022)

An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects. - Hoang-Viet Tran; Pham Ngoc Hung (KSE, 2022)

A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects. - Thu Anh Bui; Lam Nguyen Tung; Hoang-Viet Tran; Pham Ngoc Hung (RIVF, 2022)

Improving River Runoff Forecasting through Anomaly Detection and Repair. - Pham Ngoc Hung; Duong Tuan Anh (RIVF, 2022)

A Generator-based Method for Attacking Embedding-based Text Classifiers. - Do Minh Kha; Duc-Anh Nguyen; Minh Le Nguyen 001; Pham Ngoc Hung (RIVF, 2022)

An Automated Program Repair Method Using Atomic Replacement for Java Programs. - Thi-Huyen Nguyen; Nguyen Van Hoan; Hoang-Viet Tran; Pham Ngoc Hung (RIVF, 2022)

A Method of Automated Mock Data Generation for RESTful API Testing. - Doan Thi Hoai Thu; Le Duy Quang; Duc-Anh Nguyen; Pham Ngoc Hung (RIVF, 2022)

A Pairwise Based Method for Automated Test Data Generation for $ mathrm{C}/ mathrm{C}++$ Projects. - Hoang-Viet Tran; Lam Nguyen Tung; Pham Ngoc Hung (RIVF, 2022)

A symbolic execution-based method to perform untargeted attack on feed-forward neural networks. - Duc-Anh Nguyen; Do Minh Kha; Minh Le Nguyen 001; Pham Ngoc Hung (Autom. Softw. Eng., 2022)

An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects. - Lam Nguyen Tung; Hoang-Viet Tran; Khoi Nguyen Le; Pham Ngoc Hung (Inf. Softw. Technol., 2022)

Secure Conversation: A View from Physical Layer. - Hung Tran; Pham Ngoc Hung; Van Nhan Vo 001; Quach Xuan Truong; Tung Pham Huu; Nguyen Quoc Long; Giang Le Quynh Vu (CSoNet, 2023)

A Query-based Black-box Attack to Evaluate the Robustness of One-Stage Object Detectors. - Duc-Anh Nguyen; Lam Nguyen Xuan; Vu Ha Minh Trang; Pham Ngoc Hung (KSE, 2023)

A Method for Detecting and Generating Test Data for Runtime Errors in C/C++ Project Units. - Linh Ngoc Truc Tran; Nguyen Duc Nguyen; Hieu Vu Duc; Hoang Nguyen Viet; Lam Nguyen Tung; Hoang-Viet Tran; Pham Ngoc Hung (RIVF, 2023)

Improving diversity and quality of adversarial examples in adversarial transformation network. - Duc-Anh Nguyen; Do Minh Kha; Khoi Nguyen Le; Le-Minh Nguyen 001; Pham Ngoc Hung (Soft Comput., 2023)

SCADefender: An Autoencoder-Based Defense for CNN-Based Image Classifiers. - Duc-Anh Nguyen; Do Minh Kha; Ngoc Nguyen Nhu; Pham Ngoc Hung (Int. J. Pattern Recognit. Artif. Intell., 2023)

An Improved Automated Test Data Generation Method for Templates in C++ Projects. - Hieu Vu Duc; Anh Thi Hai Le; Pham Ngoc Hung (KSE, 2024)

A Novel Method for High-Fidelity Web Element Identification. - Trinh Le-Khanh; Cong Bui-The; An Pham-Hoang; Quyen Hoang-Van; Tam Cao-Thi-Minh; Pham Ngoc Hung (KSE, 2024)

Generating High-Quality Adversarial Examples for Object Detectors with Low Computational Cost. - Duc-Anh Nguyen; Duc-Manh Phan; Pham Ngoc Hung (KSE, 2024)

A Fast White-Box Adversarial Attack using Shadows for Convolutional Neural Networks. - Duc-Anh Pham; Duc-Anh Nguyen; Khoi Nguyen Le; Pham Ngoc Hung (KSE, 2024)

An Application of Pairwise Testing for Error Detection in Concolic Testing for Java Projects. - Hoang-Viet Tran; Minh Quan Nguyen; Thi Trang Do; Do Thi Hong Van; Pham Ngoc Hung (KSE, 2024)

On Improvements of the Error Detection Capability in Concolic Testing for Java Projects. - Hoang-Viet Tran; Ngoc Anh Quan Tran; Ngoc Huy Nguyen; Do Thi Hong Van; Lai Vu Thu Nguyet; Pham Ngoc Hung (KSE, 2024)

An Improved Automated Test Data Generation Method for Object-Oriented C++ Projects. - Linh Ngoc Truc Tran; Hung Phan Viet; Hien Doan Khanh; Pham Ngoc Hung (KSE, 2024)

Automated test data generation and stubbing method for C/C++ embedded projects. - Lam Nguyen Tung; Nguyen Vu Binh Duong; Khoi Nguyen Le; Pham Ngoc Hung (Autom. Softw. Eng., 2024)

FAIREDU: A multiple regression-based method for enhancing fairness in machine learning models for educational applications. - Nga Pham; Do Minh Kha; Tran Vu Dai; Pham Ngoc Hung; Anh Nguyen-Duc 001 (Expert Syst. Appl., 2025)

Fairness for machine learning software in education: A systematic mapping study. - Nga Pham; Pham Ngoc Hung; Anh Nguyen-Duc 001 (J. Syst. Softw., 2025)