Modular conformance testing and assume-guarantee verification for evolving component-based software NH Pham, T Aoki, T Katayama IEICE transactions on fundamentals of electronics, communications and …, 2009 | 18 | 2009 |
Improvements of directed automated random testing in test data generation for c++ projects DA Nguyen, TN Huong, HV Dinh, PN Hung International Journal of Software Engineering and Knowledge Engineering 29 …, 2019 | 13 | 2019 |
A method for automated test data generation from sequence diagrams and object constraint language TD Vu, PN Hung, VH Nguyen Proceedings of the 6th International Symposium on Information and …, 2015 | 12 | 2015 |
An assume-guarantee model checker for component-based systems D Hoang-Minh, T Le-Khanh, PN Hung The 2013 RIVF International Conference on Computing & Communication …, 2013 | 11 | 2013 |
A minimized assumption generation method for component-based software verification P Ngoc Hung, T Aoki, T Katayama Theoretical Aspects of Computing-ICTAC 2009: 6th International Colloquium …, 2009 | 10 | 2009 |
Jcia: A tool for change impact analysis of java ee applications LB Cuong, VS Nguyen, DA Nguyen, PN Hung, DH Vo Information Systems Design and Intelligent Applications: Proceedings of …, 2018 | 8* | 2018 |
A test data generation method for c/c++ projects DA Nguyen, PN Hung Proceedings of the 8th International Symposium on Information and …, 2017 | 8 | 2017 |
A method for automated unit testing of C programs DA Nguyen, PN Hung, VH Nguyen 2016 3rd National Foundation for Science and Technology Development …, 2016 | 8 | 2016 |
An improvement of minimized assumption generation method for component-based software verification NH Pham, VH Nguyen, T Aoki, T Katayama | 8 | 2012 |
A method for automated user interface testing of windows-based applications DT Dinh, PN Hung, TN Duy Proceedings of the 9th International Symposium on Information and …, 2018 | 7 | 2018 |
On optimization of minimized assumption generation method for component-based software verification NH Pham, VH Nguyen, T Aoki, T Katayama IEICE Transactions on Fundamentals of Electronics, Communications and …, 2012 | 7 | 2012 |
An assume-guarantee method for modular verification of evolving component-based software PN Hung, NT Thang, T Katayama 6th WADS in conjunction with the 37th Annual IEEE/IFIP Intenational …, 2007 | 7 | 2007 |
An automated test data generation method for void pointers and function pointers in c/c++ libraries and embedded projects LN Tung, HV Tran, KN Le, PN Hung Information and Software Technology 145, 106821, 2022 | 5 | 2022 |
Evaluating the combination of human chorionic gonadotropin and clomiphene citrate in treatment of male hypogonadotropic hypogonadism: a prospective study TS Trinh, NB Hung, LTT Hien, NA Tuan, DC Pho, QA Dung, DA Do, ... Research and Reports in Urology, 357-366, 2021 | 5 | 2021 |
On improvement of assume-guarantee verification method for timed component-based software HV Tran, PN Hung, D Van Hung 2018 10th International Conference on Knowledge and Systems Engineering (KSE …, 2018 | 5 | 2018 |
Giáo trình kiểm thử phần mềm PN Hùng, TA Hoàng, ĐV Hưng | 5 | 2014 |
Assume-guarantee tools for component-based software verification PN Hung, VH Nguyen, T Aoki, T Katayama 2010 Second International Conference on Knowledge and Systems Engineering …, 2010 | 5 | 2010 |
An effective framework for assume-guarantee verification of evolving component-based software PN Hung, T Aoki, T Katayama Proceedings of the joint international and annual ERCIM workshops on …, 2009 | 5 | 2009 |
An Automated Stub Method for Unit Testing C/C++ Projects THVPNH Tran Nguyen Huong, Le Huu Chung, Lam Nguyen Tung 14th IEEE International Conference on Knowledge and Systems Engineering (KSE …, 2022 | 4* | 2022 |
On implementation of the improved assume-guarantee verification method for timed systems HV Tran, QT Nguyen, PN Hung Proceedings of the 10th International Symposium on Information and …, 2019 | 4 | 2019 |