Pham Ngoc Hung

According to our database, Pham Ngoc Hung authored at least 47 papers between 2008 and 2023.

Collaborative distances:

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

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., September, 2023

Improving diversity and quality of adversarial examples in adversarial transformation network.

Duc-Anh Nguyen, Do Minh Kha, Khoi Nguyen Le, Le-Minh Nguyen, Pham Ngoc Hung

Soft Comput., April, 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

Proceedings of the International Conference on Computing and Communication Technologies, 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

Proceedings of the 15th International Conference on Knowledge and Systems Engineering, 2023

Secure Conversation: A View from Physical Layer.

Hung Tran, Pham Ngoc Hung, Van Nhan Vo, Quach Xuan Truong, Tung Pham Huu, Nguyen Quoc Long, Giang Le Quynh Vu

Proceedings of the Computational Data and Social Networks - 12th International Conference, 2023

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

A symbolic execution-based method to perform untargeted attack on feed-forward neural networks.

Duc-Anh Nguyen, Do Minh Kha, Minh Le Nguyen, Pham Ngoc Hung

Autom. Softw. Eng., 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

Proceedings of the RIVF International Conference on Computing and Communication Technologies, 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

Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022

An Automated Program Repair Method Using Atomic Replacement for Java Programs.

Thi-Huyen Nguyen, Van-Hoan Nguyen, Hoang-Viet Tran, Pham Ngoc Hung

Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022

A Generator-based Method for Attacking Embedding-based Text Classifiers.

Do Minh Kha, Duc-Anh Nguyen, Minh Le Nguyen, Pham Ngoc Hung

Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022

Improving River Runoff Forecasting through Anomaly Detection and Repair.

Pham Ngoc Hung, Duong Tuan Anh

Proceedings of the RIVF International Conference on Computing and Communication Technologies, 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

Proceedings of the RIVF International Conference on Computing and Communication Technologies, 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

Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 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

Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022

An Automated Test Data Generation Method for Templates of C++ Projects.

Minh-Hieu Do, Lam Nguyen Tung, Hoang-Viet Tran, Pham Ngoc Hung

Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022

Method for Improving Quality of Adversarial Examples.

Duc-Anh Nguyen, Do Minh Kha, Duc-Anh Pham, Pham Ngoc Hung

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

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

Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2021

A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software.

Hoang-Viet Tran, Pham Ngoc Hung

Proceedings of the 13th International Conference on Knowledge and Systems Engineering, 2021

Automated Test Data Generation for Typescript Web Applications.

Doan Thi Hoai Thu, Duc-Anh Nguyen, Pham Ngoc Hung

Proceedings of the 13th International Conference on Knowledge and Systems Engineering, 2021

Arext: Automatic Regular Expression Testing Tool Based on Generating Strings With Full Coverage.

Nguyen Van Hoan, Pham Ngoc Hung

Proceedings of the 13th International Conference on Knowledge and Systems Engineering, 2021

2020

A framework for assume-guarantee regression verification of evolving software.

Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki Aoki

Sci. Comput. Program., 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

Proceedings of the 12th International Conference on Knowledge and Systems Engineering, 2020

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

Proceedings of the International Conference on Advanced Computing and Applications, 2020

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

On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification.

Hoang-Viet Tran, Pham Ngoc Hung, Viet Ha Nguyen

IEICE Trans. Inf. Syst., 2019

On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems.

Hoang-Viet Tran, Quang-Trung Nguyen, Pham Ngoc Hung

Proceedings of the Tenth International Symposium on Information and Communication Technology, 2019

2018

A method for Automated User Interface Testing of Windows-based Applications.

Duong Dinh Tran, Pham Ngoc Hung, Tung Nguyen Duy

Proceedings of the Ninth International Symposium on Information and Communication Technology, 2018

On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software.

Hoang-Viet Tran, Pham Ngoc Hung, Dang Van Hung

Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018

2017

A Test Data Generation Method for C/C++ Projects.

Duc Anh Nguyen, Pham Ngoc Hung

Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017

A Method for Automated Test Cases Generation from UML Models with String Constraints.

Thi-Dao Vu, Pham Ngoc Hung, Viet Ha Nguyen

Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

On Implementation of the Assumption Generation Method for Component-Based Software Verification.

Chi-Luan Le, Hoang-Viet Tran, Pham Ngoc Hung

Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

2016

An approach to learn hand movements for robot actions from human demonstrations.

Pham Ngoc Hung, Takashi Yoshimi

Proceedings of the 2016 IEEE/SICE International Symposium on System Integration, 2016

2015

A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language.

Thi-Dao Vu, Pham Ngoc Hung, Viet-Ha Nguyen

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

A Correlation-aware Negotiation Approach for Service Composition.

Son Van Nguyen, Hieu Dinh Vo, Pham Ngoc Hung

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

2014

An Efficient Method for Automated Generating Models of Component-Based Software.

Hoang-Viet Tran, Chi-Luan Le, Quang-Trung Nguyen, Pham Ngoc Hung

Proceedings of the Knowledge and Systems Engineering, 2014

2013

An assume-guarantee model checker for component-based systems.

Duong Hoang-Minh, Trinh Le-Khanh, Pham Ngoc Hung

Proceedings of the 2013 IEEE RIVF International Conference on Computing and Communication Technologies, 2013

A Method and Tool Support for Automated Data Flow Testing of Java Programs.

Van-Cuong Pham, Pham Ngoc Hung

Proceedings of the Context-Aware Systems and Applications, 2013

An Efficient Method for Automated Control Flow Testing of Programs.

Quang-Trung Nguyen, Pham Ngoc Hung

Proceedings of the Context-Aware Systems and Applications, 2013

2012

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

Proceedings of the 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27, 2012

A Method for Generating Models of Black-Box Components.

Le Ba Cuong, Pham Ngoc Hung

Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

2010

A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Inf. Syst., 2010

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

An effective framework for assume-guarantee verification of evolving component-based software.

Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama

Proceedings of the Theoretical Aspects of Computing, 2009

2008

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.

Pham Ngoc Hung, Takuya Katayama

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008