Pham Ngoc Hung

Orcid: 0000-0002-5584-5823

According to our database1, Pham Ngoc Hung authored at least 50 papers between 2008 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Fairness for machine learning software in education: A systematic mapping study.
J. Syst. Softw., 2025

2024
Automated test data generation and stubbing method for C/C++ embedded projects.
Autom. Softw. Eng., November, 2024

FAIREDU: A Multiple Regression-Based Method for Enhancing Fairness in Machine Learning Models for Educational Applications.
CoRR, 2024

2023
SCADefender: An Autoencoder-Based Defense for CNN-Based Image Classifiers.
Int. J. Pattern Recognit. Artif. Intell., September, 2023

Improving diversity and quality of adversarial examples in adversarial transformation network.
Soft Comput., April, 2023

A Method for Detecting and Generating Test Data for Runtime Errors in C/C++ Project Units.
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.
Proceedings of the 15th International Conference on Knowledge and Systems Engineering, 2023

Secure Conversation: A View from Physical Layer.
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.
Inf. Softw. Technol., 2022

A symbolic execution-based method to perform untargeted attack on feed-forward neural networks.
Autom. Softw. Eng., 2022

A Pairwise Based Method for Automated Test Data Generation for $\mathrm{C}/\mathrm{C}++$ Projects.
Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022

A Method of Automated Mock Data Generation for RESTful API Testing.
Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022

An Automated Program Repair Method Using Atomic Replacement for Java Programs.
Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022

A Generator-based Method for Attacking Embedding-based Text Classifiers.
Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022

Improving River Runoff Forecasting through Anomaly Detection and Repair.
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.
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.
Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022

An Automated Stub Method for Unit Testing C/C++ Projects.
Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022

An Automated Test Data Generation Method for Templates of C++ Projects.
Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022

Method for Improving Quality of Adversarial Examples.
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.
Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2021

A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software.
Proceedings of the 13th International Conference on Knowledge and Systems Engineering, 2021

Automated Test Data Generation for Typescript Web Applications.
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.
Proceedings of the 13th International Conference on Knowledge and Systems Engineering, 2021

2020
A framework for assume-guarantee regression verification of evolving software.
Sci. Comput. Program., 2020

Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values.
Proceedings of the 12th International Conference on Knowledge and Systems Engineering, 2020

Practical approach to access the impact of global variables on program parallelism.
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.
Int. J. Softw. Eng. Knowl. Eng., 2019

On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Inf. Syst., 2019

On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems.
Proceedings of the Tenth International Symposium on Information and Communication Technology, 2019

2018
A method for Automated User Interface Testing of Windows-based Applications.
Proceedings of the Ninth International Symposium on Information and Communication Technology, 2018

On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software.
Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018

2017
A Test Data Generation Method for C/C++ Projects.
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.
Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

On Implementation of the Assumption Generation Method for Component-Based Software Verification.
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.
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.
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

A Correlation-aware Negotiation Approach for Service Composition.
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

2014
An Efficient Method for Automated Generating Models of Component-Based Software.
Proceedings of the Knowledge and Systems Engineering, 2014

2013
An assume-guarantee model checker for component-based systems.
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.
Proceedings of the Context-Aware Systems and Applications, 2013

An Efficient Method for Automated Control Flow Testing of Programs.
Proceedings of the Context-Aware Systems and Applications, 2013

2012
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.
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.
Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

2010
A Minimized Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Inf. Syst., 2010

2009
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

An effective framework for assume-guarantee verification of evolving component-based software.
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.
Proceedings of the Theoretical Aspects of Computing, 2009

2008
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008


  Loading...