Công trình nghiên cứu

Giáo trình

  1. Phạm Ngọc Hùng và Trần Hoàng Việt, Giáo trình quản lý dự án phần mềm, NXB ĐHQGHN, 2022

Sách chuyên khảo 

  1. Phạm Ngọc Hùng và Trần Hoàng Việt, Kiểm thử đơn vị tự động dựa trên phân tích mã nguồn, NXB ĐHQGHN, 2023

Tạp chí quốc tế

  1. Lam Nguyen Tung, Hoang-Viet Tran, Khoi Nguyen Le, Pham Ngoc Hung An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects, Information and Software Technology Journal, 2022, ISSN 0950-5849, https://doi.org/10.1016/j.infsof.2022.106821.
  2. Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki Aoki A Framework For Assume-Guarantee Regression Verification Of Evolving Software, Science of Computer Programming Journal, Volume 193, 2020, ISSN 0167-6423. https://doi.org/10.1016/j.scico.2020.102439.
  3. Hoang-Viet TRAN, Ngoc Hung PHAM, Viet Ha NGUYEN On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification, IEICE Transactions on Information and Systems. ISSN 0916-8532, Vol.E102-D, No.8, pp.1449-1461.

Tạp chí trong nước

  1. Hoang-Viet Tran and Pham Ngoc Hung,  A Control Flow Graph Generation Method for Java Projects, VNU Journal of Science: Computer Science and Communication Engineering, DOI: https://doi.org/10.25073/2588-1086/vnucsce.668, [S.l.], v. 40, n. 1, June 2024. ISSN 2588-1086.
  2. Hoang-Viet Tran, Loan Nguyen Thi Mai, Kien Doan Duc, Nguyen Ha Trang, Le Van Huy, and Pham Ngoc Hung,  CIA4CS: A Method for Change Impact Analysis of C# projects, JOURNAL OF RESEARCH AND DEVELOPMENT ON INFORMATION AND COMMUNICATION TECHNOLOGY, DOI: https://doi.org/10.32913/mic-ict-research.v2024.n1.1211, Vol 2024 No 1: Journal on Information Technologies & Communications (early publication), ISSN: 1859-3534.
  3. T. N. Huong, D. M. Kha, H. -V. Tran and P. N. Hung,  A Hybrid Method for Test Data Generation for Unit Testing of C/C++ Projects, VNU 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.
  4. Hoang-Viet Tran and Ngoc Hung PHAM. On Locally Strongest Assumption Generation Method for Component-Based Software Verification. VNU Journal of Science: Computer Science and Communication Engineering, [S.l.], v. 34, n. 2, dec. 2018. ISSN 2588-1086.
  5. Chi-Luan Le and Hoang-Viet Tran and Ngoc Hung PHAM A Framework for Modeling and Modular Verifying of Component-based System Designs (VNU journal of Computer Science and Communication Engineering, [S.l.], v. 32, n. 2, May 2016. ISSN 2588-1086)
Hội thảo quốc tế
  1. Xuan-Truong Nguyen, Linh Manh Pham, Hoang-Viet Tran, Improving the Performance of the African Swine Fever Spreading Simulation on the Cloud-based GAMA Platform, In: The11th EAI International Conference on Mobility, IoT and Smart Cities (EAI Mobility IoT 2024) (presented).
  2. Hoang-Viet Tran, Ngoc Anh Quan Tran, Ngoc Huy Nguyen, Do Thi Hong Van, Lai Vu Thu Nguyet, and Pham Ngoc Hung, On Improvements of The Error Detection Capability in Concolic Testing for Java Projects, In: The 16th IEEE International Conference on Knowledge and Systems Engineering (KSE 2024) (presented).
  3. Hoang-Viet Tran, Minh Quan Nguyen, Thi Trang Do, Do Thi Hong Van, and Pham Ngoc Hung, An Application of Pairwise Testing for Error Detection in Concolic Testing for Java Projects, In: The 16th IEEE International Conference on Knowledge and Systems Engineering (KSE 2024) (presented).
  4. Hoang-Viet Tran, Minh Quan Nguyen, Thanh Dat Nguyen Dinh, Thi Trang Do, Linh Manh Pham, and Pham Ngoc Hung, A Non-Test Driver Concolic-Based Unit Testing Method for Java Projects,  In: Conference on Information Technology and its Applications (CITA2024).
  5. Minh-Hieu Do, Hoang-Viet Tran, and Pham Ngoc Hung, ATIU: An Automated Method for Testing Embedded C/C++ Projects Containing Incomplete Units,  In: Intelligent Systems and Networks. Lecture Notes in Networks and Systems (ICISN2024).
  6. Linh Ngoc Truc Tran, Nguyen Duc Nguyen, Hieu Vu Duc, Hoang Nguyen Viet, Lam Nguyen Tung, Hoang-Viet Tran, and Pham Ngoc Hung, "A Method for Detecting and Generating Test Data for Runtime Errors in C/C++ Project Units", 2023 RIVF International Conference on Computing and Communication Technologies (RIVF), Hanoi, Vietnam, 2023, pp. 412-417, doi: 10.1109/RIVF60135.2023.10471836.
  7. Thu Anh Bui, Lam Nguyen Tung, Hoang-Viet Tran, and Pham Ngoc Hung, "A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects", RIVF 2022,16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022.
  8. Hoang-Viet Tran, Lam Nguyen Tung, and P. N. Hung, "A Pairwise Based Method for Automated Test Data Generation for C/C++ Projects", RIVF 2022, 16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022.
  9. Thi-Huyen Nguyen, Van-Hoan Nguyen, Hoang-Viet Tran, and P. N. Hung, "An Automated Program Repair Method Using Atomic Replacement for Java Programs", RIVF 2022, 16th International conference on computing and communication technologies, Ho Chi Minh City, Vietnam, December 20-22, 2022.
  10. Tran Nguyen Huong, Le Huu Chung, Lam Nguyen Tung, Hoang-Viet Tran, and P. N. Hung, "An Automated Stub Method for Unit Testing C/C++ Projects" 14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022.
  11. Minh-Hieu Do, Lam Nguyen Tung, Hoang-Viet Tran, and P. N. Hung, "An Automated Test Data Generation Method for Templates of C++ Projects" 14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022.
  12. H. -V. Tran and P. N. Hung, "An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects" 14th IEEE International Conference on Knowledge and Systems Engineering (KSE 2022), 2022.
  13. H. -V. Tran and P. N. Hung, "An Efficient Method for Automated Regression Test Data Generation for C/C++ Projects," 2021 8th NAFOSTED Conference on Information and Computer Science (NICS), 2021, pp. 199-204, doi: 10.1109/NICS54270.2021.9701454.
  14. H. -V. Tran and P. N. Hung, "A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software," 2021 13th International Conference on Knowledge and Systems Engineering (KSE), 2021, pp. 1-6, doi: 10.1109/KSE53942.2021.9648741.
  15. T. N. Huong, D. M. Kha, H. -V. Tran and P. N. Hung, "Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values," 2020 12th International Conference on Knowledge and Systems Engineering (KSE), Can Tho city, 2020, pp. 97-102, doi: 10.1109/KSE50997.2020.9287629.
  16. Hoang-Viet Tran, Quang-Trung Nguyen, and Pham Ngoc Hung (2019). On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. In 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.
  17. Hoang-Viet Tran, Ngoc Hung PHAM, Dang Van Hung On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. 2018 10th International Conference on Knowledge and Systems Engineering (KSE), Ho Chi Minh City, 2018, pp. 270-275.
  18. Chi-Luan Le and Hoang-Viet Tran and Ngoc Hung PHAM On Implementation of the Assumption Generation Method for Component-Based Software Verification (Advanced Topics in Intelligent Information and Database Systems. Springer International Publishing, pp. 549-558. 3-5 April 2017, Kanazawa, Japan.)
  19. Hoang-Viet Tran and Chi-Luan Le and Ngoc Hung PHAM A Strongest Assumption Generation Method for Component-Based Software Verification (In Proc. of the 12th IEEE - RIVF International Conference on Computing and Communication Technologies, IEEE Computer Society Press, 2016)
  20. Hoang-Viet Tran and Chi-Luan Le and Quang-Trung Nguyen and Ngoc Hung PHAM An Efficient Method for Automated Generating Models of Component-Based Software (Knowledge and Systems Engineering, Springer International Publishing, volumn 326, pp. 499-511, 2015)
DBLP
Subscribe to: Posts (Atom)

Kiểm thử cặp đôi thông minh

  Kiểm thử cặp đôi thông minh (pairwise testing) là một trường hợp đặc biệt của phương pháp kiểm thử tổ hợp. Trong phương pháp kiểm thử cặp ...

  • Kiểm thử bằng bảng quyết định
    Giới thiệu Có bao giờ bạn tự hỏi đâu là phương pháp kiểm thử chức năng hiệu quả nhất không? Có phải là phương pháp kiểm thử giá trị biên h...
  • Kiểm thử cặp đôi thông minh
      Kiểm thử cặp đôi thông minh (pairwise testing) là một trường hợp đặc biệt của phương pháp kiểm thử tổ hợp. Trong phương pháp kiểm thử cặp ...
  • Sự cần thiết nâng cao kiến thức kiểm thử
    Tất cả mọi nghề nghiệp đều cần có sự đầu tư nâng cao kiến thức. Theo tôi, sự nâng cao kiến thức có thể được thực hiện từ nhiều khía cạnh: từ...