Trần Hoàng Việt

Trần Hoàng Việt

Vietnam National University Hanoi - Hanoi / Vietnam
Engineering & Technology / Computer Science
AD Scientific Index ID: 5737336
Đại học Quốc gia Hà Nội
person_outline Trần Hoàng Việt's MOST POPULAR ARTICLES
1-) An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projectsLN Tung, HV Tran, KN Le, PN HungInformation and Software Technology 145, 106821, 202252022
2-) On improvement of assume-guarantee verification method for timed component-based softwareHV Tran, PN Hung, D Van Hung2018 10th International Conference on Knowledge and Systems Engineering (KSE …, 201852018
3-) An Automated Stub Method for Unit Testing C/C++ ProjectsTN Huong, LN Tung, HV Tran, PN Hung2022 14th International Conference on Knowledge and Systems Engineering (KSE …, 202242022
4-) On implementation of the improved assume-guarantee verification method for timed systemsHV Tran, QT Nguyen, PN HungProceedings of the 10th International Symposium on Information and …, 201942019
5-) Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary ValuesTN Huong, HV Tran, PN Hung2020 12th International Conference on Knowledge and Systems Engineering (KSE …, 202032020