Pham Ngoc Hung

Pham Ngoc Hung

Vietnam National University Hanoi - Hanoi / Vietnam
Others
AD Scientific Index ID: 5105576
Đại học Quốc gia Hà Nội
person_outline Pham Ngoc Hung's MOST POPULAR ARTICLES
1-) Modular conformance testing and assume-guarantee verification for evolving component-based softwareNH Pham, T Aoki, T KatayamaIEICE transactions on fundamentals of electronics, communications and …, 2009182009
2-) Improvements of directed automated random testing in test data generation for c++ projectsDA Nguyen, TN Huong, HV Dinh, PN HungInternational Journal of Software Engineering and Knowledge Engineering 29 …, 2019132019
3-) A method for automated test data generation from sequence diagrams and object constraint languageTD Vu, PN Hung, VH NguyenProceedings of the 6th International Symposium on Information and …, 2015122015
4-) An assume-guarantee model checker for component-based systemsD Hoang-Minh, T Le-Khanh, PN HungThe 2013 RIVF International Conference on Computing & Communication …, 2013112013
5-) Jcia: A tool for change impact analysis of java ee applicationsLB Cuong, VS Nguyen, DA Nguyen, PN Hung, DH VoInformation Systems Design and Intelligent Applications: Proceedings of …, 2018102018