HỆ THỐNG THÔNG TIN QUỐC GIA VỀ KHOA HỌC, CÔNG NGHỆ VÀ ĐỔI MỚI SÁNG TẠO
Thông tin nhà nghiên cứu KH&CN
Mã NNC: CB.1308263
TS Trần Hoàng Việt
Cơ quan/đơn vị công tác: Đại học Quốc gia Hà Nội
Lĩnh vực nghiên cứu:
- Danh sách các Bài báo/Công bố KH&CN
- Danh sách các Nhiệm vụ KH&CN đã tham gia
| [1] |
An Efficient Method for Automated Generating Models of Component-Based Software Hoang-Viet Tran and Chi-Luan Le and Quang-Trung Nguyen and Ngoc Hung PHAMKnowledge and Systems Engineering, Springer International Publishing, volumn 326, pp. 499-511, 2015 - Năm xuất bản: 2015; ISSN/ISBN: |
| [2] |
A Strongest Assumption Generation Method for Component-Based Software Verification Hoang-Viet Tran and Chi-Luan Le and Ngoc Hung PHAMIn Proc. of the 12th IEEE - RIVF International Conference on Computing and Communication Technologies, IEEE Computer Society Press, 2016 - Năm xuất bản: 2016; ISSN/ISBN: |
| [3] |
On Implementation of the Assumption Generation Method for Component-Based Software Verification Chi-Luan Le and Hoang-Viet Tran and Ngoc Hung PHAMAdvanced Topics in Intelligent Information and Database Systems. Springer International Publishing, pp. 549-558. 3-5 April 2017, Kanazawa, Japan - Năm xuất bản: 2017; ISSN/ISBN: |
| [4] |
On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software Hoang-Viet Tran, Ngoc Hung PHAM, Dang Van Hung2018 10th International Conference on Knowledge and Systems Engineering (KSE), Ho Chi Minh City, 2018, pp. 270-275. - Năm xuất bản: 2018; ISSN/ISBN: |
| [5] |
On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems Hoang-Viet Tran, Quang-Trung Nguyen, and Pham Ngoc HungIn Soict '19: The Tenth International Symposium on Information and Communication Technology, December 4-6, 2019, Hanoi - Ha Long Bay, Vietnam. ACM, New York, NY, USA, 8 pages. https://doi.org/10.1145/3368926.3369659, pp. 457-464. - Năm xuất bản: 2019; ISSN/ISBN: |
| [6] |
Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values T. N. Huong, D. M. Kha, H. -V. Tran and P. N. Hung2020 12th International Conference on Knowledge and Systems Engineering (KSE), Can Tho city, 2020, pp. 97-102, doi: 10.1109/KSE50997.2020.9287629. - Năm xuất bản: 2020; ISSN/ISBN: |
| [7] |
A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software H. -V. Tran and P. N. Hung2021 13th International Conference on Knowledge and Systems Engineering (KSE), 2021, pp. 1-6, doi: 10.1109/KSE53942.2021.9648741. - Năm xuất bản: 2021; ISSN/ISBN: |
| [8] |
An Efficient Method for Automated Regression Test Data Generation for C/C++ Projects H. -V. Tran and P. N. Hung2021 8th NAFOSTED Conference on Information and Computer Science (NICS), 2021, pp. 199-204, doi: 10.1109/NICS54270.2021.9701454. - Năm xuất bản: 2021; ISSN/ISBN: |
| [9] |
H. -V. Tran and P. N. Hung 14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022. - Năm xuất bản: 2022; ISSN/ISBN: |
| [10] |
An Automated Test Data Generation Method for Templates of C++ Projects Minh-Hieu Do, Lam Nguyen Tung, Hoang-Viet Tran, and P. N. Hung14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022. - Năm xuất bản: 2022; ISSN/ISBN: |
| [11] |
An Automated Stub Method for Unit Testing C/C++ Projects Tran Nguyen Huong, Le Huu Chung, Lam Nguyen Tung, Hoang-Viet Tran, and P. N. Hung14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022. - Năm xuất bản: 2022; ISSN/ISBN: |
| [12] |
An Automated Program Repair Method Using Atomic Replacement for Java Programs Thi-Huyen Nguyen, Van-Hoan Nguyen, Hoang-Viet Tran, and P. N. HungRIVF 2022, 16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022 - Năm xuất bản: 2022; ISSN/ISBN: |
| [13] |
A Pairwise Based Method for Automated Test Data Generation for C/C++ Projects Hoang-Viet Tran, Lam Nguyen Tung, and P. N. HungRIVF 2022, 16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022 - Năm xuất bản: 2022; ISSN/ISBN: |
| [14] |
A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects Thu Anh Bui, Lam Nguyen Tung, Hoang-Viet Tran, and Pham Ngoc HungRIVF 2022,16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022 - Năm xuất bản: 2022; ISSN/ISBN: |
| [15] |
A Framework for Modeling and Modular Verifying of Component-based System Designs Chi-Luan Le and Hoang-Viet Tran and Ngoc Hung PHAMVNU journal of Computer Science and Communication Engineering, [S.l.], v. 32, n. 2, may 2016. ISSN 2588-1086 - Năm xuất bản: 2016; ISSN/ISBN: |
| [16] |
On Locally Strongest Assumption Generation Method for Component-Based Software Verification Hoang-Viet Tran and Ngoc Hung PHAMVNU Journal of Science: Computer Science and Communication Engineering, [S.l.], v. 34, n. 2, dec. 2018. ISSN 2588-1086. - Năm xuất bản: 2018; ISSN/ISBN: |
| [17] |
A Hybrid Method for Test Data Generation for Unit Testing of C/C++ Projects T. N. Huong, D. M. Kha, H. -V. Tran and P. N. HungVNU Journal of Science: Computer Science and Communication Engineering, DOI: https://doi.org/10.25073/2588-1086/vnucsce.354, [S.l.], dec. 2022. ISSN 2588-1086. - Năm xuất bản: 2022; ISSN/ISBN: |
| [18] |
Hoang-Viet TRAN, Ngoc Hung PHAM, Viet Ha NGUYEN IEICE Transactions on Information and Systems. Vol.E102-D, No.8, pp.1449-1461. - Năm xuất bản: 2019; ISSN/ISBN: |
| [19] |
A Framework For Assume-Guarantee Regression Verification Of Evolving Software Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki AokiScience of Computer Programming Journal, Volume 193, 2020, https://doi.org/10.1016/j.scico.2020.102439. - Năm xuất bản: 2020; ISSN/ISBN: |
| [20] |
Lam Nguyen Tung, Hoang-Viet Tran, Khoi Nguyen Le, Pham Ngoc Hung Information and Software Technology Journal, 2022, https://doi.org/10.1016/j.infsof.2022.106821. - Năm xuất bản: 2022; ISSN/ISBN: |
| [21] |
A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software H. -V. Tran and P. N. Hung2021 13th International Conference on Knowledge and Systems Engineering (KSE), 2021, pp. 1-6, doi: 10.1109/KSE53942.2021.9648741. - Năm xuất bản: 2021; ISSN/ISBN: |
| [22] |
A Framework For Assume-Guarantee Regression Verification Of Evolving Software Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki AokiScience of Computer Programming Journal, Volume 193, 2020, https://doi.org/10.1016/j.scico.2020.102439. - Năm xuất bản: 2020; ISSN/ISBN: 0167-6423 |
| [23] |
A Framework for Modeling and Modular Verifying of Component-based System Designs Chi-Luan Le and Hoang-Viet Tran and Ngoc Hung PHAMVNU journal of Computer Science and Communication Engineering, [S.l.], v. 32, n. 2, may 2016. ISSN 2588-1086 - Năm xuất bản: 2016; ISSN/ISBN: 2588-1086 |
| [24] |
A Hybrid Method for Test Data Generation for Unit Testing of C/C++ Projects T. N. Huong, D. M. Kha, H. -V. Tran and P. N. HungVNU Journal of Science: Computer Science and Communication Engineering, DOI: https://doi.org/10.25073/2588-1086/vnucsce.354, [S.l.], dec. 2022. ISSN 2588-1086. - Năm xuất bản: 2022; ISSN/ISBN: 2588-1086 |
| [25] |
A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects Thu Anh Bui, Lam Nguyen Tung, Hoang-Viet Tran, and Pham Ngoc HungRIVF 2022,16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022 - Năm xuất bản: 2022; ISSN/ISBN: 978-1-6654-6166-5 |
| [26] |
A Pairwise Based Method for Automated Test Data Generation for C/C++ Projects Hoang-Viet Tran, Lam Nguyen Tung, and P. N. HungRIVF 2022, 16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022 - Năm xuất bản: 2022; ISSN/ISBN: 978-1-6654-6166-5 |
| [27] |
A Strongest Assumption Generation Method for Component-Based Software Verification Hoang-Viet Tran and Chi-Luan Le and Ngoc Hung PHAMIn Proc. of the 12th IEEE - RIVF International Conference on Computing and Communication Technologies, IEEE Computer Society Press, 2016 - Năm xuất bản: 2016; ISSN/ISBN: |
| [28] |
An Automated Program Repair Method Using Atomic Replacement for Java Programs Thi-Huyen Nguyen, Van-Hoan Nguyen, Hoang-Viet Tran, and P. N. HungRIVF 2022, 16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022 - Năm xuất bản: 2022; ISSN/ISBN: 978-1-6654-6166-5 |
| [29] |
An Automated Stub Method for Unit Testing C/C++ Projects Tran Nguyen Huong, Le Huu Chung, Lam Nguyen Tung, Hoang-Viet Tran, and P. N. Hung14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022. - Năm xuất bản: 2022; ISSN/ISBN: |
| [30] |
An Automated Test Data Generation Method for Templates of C++ Projects Minh-Hieu Do, Lam Nguyen Tung, Hoang-Viet Tran, and P. N. Hung14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022. - Năm xuất bản: 2022; ISSN/ISBN: |
| [31] |
An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects Lam Nguyen Tung, Hoang-Viet Tran, Khoi Nguyen Le, Pham Ngoc HungInformation and Software Technology Journal, 2022, https://doi.org/10.1016/j.infsof.2022.106821. - Năm xuất bản: 2022; ISSN/ISBN: 0950-5849 |
| [32] |
An Efficient Method for Automated Generating Models of Component-Based Software Hoang-Viet Tran and Chi-Luan Le and Quang-Trung Nguyen and Ngoc Hung PHAMKnowledge and Systems Engineering, Springer International Publishing, volumn 326, pp. 499-511, 2015 - Năm xuất bản: 2015; ISSN/ISBN: |
| [33] |
An Efficient Method for Automated Regression Test Data Generation for C/C++ Projects H. -V. Tran and P. N. Hung2021 8th NAFOSTED Conference on Information and Computer Science (NICS), 2021, pp. 199-204, doi: 10.1109/NICS54270.2021.9701454. - Năm xuất bản: 2021; ISSN/ISBN: |
| [34] |
An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects H. -V. Tran and P. N. Hung14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022. - Năm xuất bản: 2022; ISSN/ISBN: |
| [35] |
Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values T. N. Huong, D. M. Kha, H. -V. Tran and P. N. Hung2020 12th International Conference on Knowledge and Systems Engineering (KSE), Can Tho city, 2020, pp. 97-102, doi: 10.1109/KSE50997.2020.9287629. - Năm xuất bản: 2020; ISSN/ISBN: |
| [36] |
On Implementation of the Assumption Generation Method for Component-Based Software Verification Chi-Luan Le and Hoang-Viet Tran and Ngoc Hung PHAMAdvanced Topics in Intelligent Information and Database Systems. Springer International Publishing, pp. 549-558. 3-5 April 2017, Kanazawa, Japan - Năm xuất bản: 2017; ISSN/ISBN: |
| [37] |
On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems Hoang-Viet Tran, Quang-Trung Nguyen, and Pham Ngoc HungIn Soict ´19: The Tenth International Symposium on Information and Communication Technology, December 4-6, 2019, Hanoi - Ha Long Bay, Vietnam. ACM, New York, NY, USA, 8 pages. https://doi.org/10.1145/3368926.3369659, pp. 457-464. - Năm xuất bản: 2019; ISSN/ISBN: |
| [38] |
On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software Hoang-Viet Tran, Ngoc Hung PHAM, Dang Van Hung2018 10th International Conference on Knowledge and Systems Engineering (KSE), Ho Chi Minh City, 2018, pp. 270-275. - Năm xuất bản: 2018; ISSN/ISBN: |
| [39] |
On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification Hoang-Viet TRAN, Ngoc Hung PHAM, Viet Ha NGUYENIEICE Transactions on Information and Systems. Vol.E102-D, No.8, pp.1449-1461. - Năm xuất bản: 2019; ISSN/ISBN: 0916-8532 |
| [40] |
On Locally Strongest Assumption Generation Method for Component-Based Software Verification Hoang-Viet Tran and Ngoc Hung PHAMVNU Journal of Science: Computer Science and Communication Engineering, [S.l.], v. 34, n. 2, dec. 2018. ISSN 2588-1086. - Năm xuất bản: 2018; ISSN/ISBN: 2588-1086 |