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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
J. Syst. Softw., 2025
2024
Autom. Softw. Eng., November, 2024
FAIREDU: A Multiple Regression-Based Method for Enhancing Fairness in Machine Learning Models for Educational Applications.
CoRR, 2024
2023
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
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
Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022
Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022
Proceedings of the RIVF International Conference on Computing and Communication Technologies, 2022
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
Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022
Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022
2021
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
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
Sci. Comput. Program., 2020
Proceedings of the 12th International Conference on Knowledge and Systems Engineering, 2020
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
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
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
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
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015
2014
Proceedings of the Knowledge and Systems Engineering, 2014
2013
Proceedings of the 2013 IEEE RIVF International Conference on Computing and Communication Technologies, 2013
Proceedings of the Context-Aware Systems and Applications, 2013
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
Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012
2010
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
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