Danh sách hướng dẫn, luận án, luận văn, khóa luận, và nghiên cứu khoa học

Luận văn thạc sĩ

• Năm 2025

1. Nguyễn Phương Chi: Phương pháp kiểm thử tự động các vi dịch vụ dựa trên đặc tả yêu cầu

Khóa luận cử nhân, kỹ sư

• Năm 2025

1. Phạm Đức Mạnh: Phân tích, thiết kế và xây dựng hệ thống hỗ trợ luyện thi
2. Mai Thanh Hà: Phân tích, thiết kế và phát triển trang web học Tiếng Anh tích hợp AI
3. Bàn Văn Hiếu: Phân tích, thiết kế và xây dựng hệ thống kinh doanh và khai thác dịch vụ sân thể thao
4. Võ Tín Dư: Phát triển tính năng trực quan hoá độ phủ của các ca kiểm thử sử dụng đồ thị dòng điều khiển nhằm tăng hiệu quả của quá trình kiểm thử tự động cho các dự án C/C++ (PGS.TS. Phạm Ngọc Hùng,TS. Trần Hoàng Việt)
5. Nguyễn Minh Quân: Phương pháp kiểm thử hồi quy đơn vị tự động hiệu quả cho dự án sử dụng ngôn ngữ Java (PGS.TS. Phạm Ngọc Hùng,TS. Trần Hoàng Việt)
6. Đỗ Thị Trang: Xây dựng công cụ tạo Stub tự động cho các hàm thư viện trong quá trình sinh dữ liệu kiểm thử đơn vị cho dự án sử dụng ngôn ngữ Java (PGS.TS. Phạm Ngọc Hùng,TS. Trần Hoàng Việt)
7. Lại Vũ Thu Nguyệt: Xây dựng công cụ kiểm thử đơn vị tự động thỏa mãn độ phủ vòng lặp và tệp cho dự án sử dụng ngôn ngữ Java (PGS.TS. Phạm Ngọc Hùng,TS. Trần Hoàng Việt)
8. Trần Ngọc Anh Quân: Xây dựng công cụ kiểm thử đột biến tự động cho kiểm thử đơn vị dự án sử dụng ngôn ngữ Java (PGS.TS. Phạm Ngọc Hùng,TS. Trần Hoàng Việt)
9. Đinh Nho Hoàng: Xây dựng công cụ sử dụng SMT Solver để kiểm chứng các mô hình được biểu diễn bằng Matlab/Simulink (PGS.TS. Phạm Ngọc Hùng,TS. Trần Hoàng Việt)
10. Nguyễn Văn An: Analyze, design and develop a Pickleball management and booking website
11. Phùng Minh Tuấn Anh: Phân tích, thiết kế và xây dựng Hệ thống phân phối và quản lý vé sự kiện với kiến trúc vi dịch vụ

• Năm 2024

1. Nguyễn Văn Phong: Sinh dữ liệu kiểm thử đơn vị tự động cho lớp tổng quát trong Java (Phạm Ngọc Hùng, Trần Hoàng Việt)
2. Cao Xuân Sơn: Xây dựng công cụ truy vết tín hiệu giữa các mô hình của dự án Simulink (Phạm Ngọc Hùng, Trần Hoàng Việt)
3. Đỗ Trọng Thư: Xây dựng công cụ phân tích ảnh hưởng của thay đổi lên dự án Simulink (Phạm Ngọc Hùng, Trần Hoàng Việt)
4. Tạ Văn Thắng: Xây dựng công cụ phân tích sự thay đổi giữa hai phiên bản dự án Simulink (Phạm Ngọc Hùng, Trần Hoàng Việt)
5. Lê Văn Huy: Phân tích sự ảnh hưởng của thay đổi mã nguồn cho các dự án TypeScript (Phạm Ngọc Hùng, Trần Hoàng Việt)
6. Đàm Tam Khoa: Phân tích, thiết kế, và xây dựng hệ thống học tiếng anh trực tuyến trên nền tảng web (Trần Hoàng Việt, Nguyễn Xuân Trường)
7. Nguyễn Đức Tuấn: Phân tích, thiết kế và xây dựng website sàn giao dịch thương mại điện tử cho lĩnh vực sản phẩm công nghệ
8. Thân Hùng Cường: Phân tích, thiết kế và xây dựng ứng dụng web giao bán đồ ăn
9. Đào Thu Hằng: Xây dựng hệ thống quản lý, phê duyệt tài liệu
10. Lê Hữu Nguyện: Phân tích, thiết kế và xây dựng hệ thống website đọc truyện tranh
11. Phạm Thành Vinh: Phân tích, thiết kế và thực hiện kiểm thử tự động cho Hệ thống Quản lý dịch vụ CRM dành cho lĩnh vực F&B Doop
12. Hoàng Hải Lý: Phân tích, thiết kế và xây dựng website mạng xã hội thần tượng
13. Đỗ Đức Minh: Phân tích, thiết kế và xây dựng hệ thống kinh doanh tiếp thị liên kết
14. Nguyễn Ngọc Huy: Phương pháp cải thiện tốc độ quá trình kiểm thử dựa trên phương pháp kiểm thử Concolic cho các dự án sử dụng ngôn ngữ Java (Phạm Ngọc Hùng, Trần Hoàng Việt)
15. Vũ Minh Hiếu: Phân tích, thiết kế và xây dựng Website quản lý chuỗi cửa hàng đồ phượt
16. Lê Duy Quang: Xây dựng công cụ kiểm thử đơn vị tự động dựa trên phương pháp kiểm thử Concolic cho dự án sử dụng ngôn ngữ TypeScript (Phạm Ngọc Hùng, Trần Hoàng Việt)
17. Nguyễn Ngọc Hiệp: Phân tích, thiết kế và xây dựng hệ thống giao dịch bất động sản có tích hợp trí tuệ nhân tạo

• Năm 2023

1. Lê Tuấn Hùng: Xây dựng hệ thống diễn đàn theo nhóm trên nền web
2. Nguyễn Thị Mai Loan: Xây dựng phần Back-end cho công cụ phân tích sự ảnh hưởng của thay đổi mã nguồn cho các dự án sử dụng ngôn ngữ C#
3. Chu Thanh Tùng: Phân tích thiết kế và xây dựng website dạy học trực tuyến
4. Nguyễn Quốc Nhật: Phân tích và thiết kế hệ thống chấm công và quản lý nhân viên
5. Nguyễn Hà Trang: Phân tích sự ảnh hưởng của thay đổi mã nguồn cho các dự án sử dụng ngôn ngữ Javascript
6. Nguyễn Hữu Hoàng Sơn: Xây dựng công cụ thực thi và kiểm tra độ phủ của dữ liệu kiểm thử cho kiểm thử đơn vị trên hệ thống OASIS (Phạm Ngọc Hùng, Trần Hoàng Việt)
7. Hoàng Đức Hà: Xây dựng công cụ hỗ trợ mối quan hệ giữa các mô hình cho các dự án ô tô sử dụng Matlab Simulink 
8. Phạm Hoàng Phi: Xây dựng công cụ hỗ trợ lần vết tín hiệu cho các dự án ô tô sử dụng Matlab Simulink
9. Phạm Hoàng Lâm: Xây dựng công cụ hỗ trợ phân tích mô hình cho các dự án ô tô sử dụng Matlab Simulink
10. Phạm Đình Thiện: Xây dựng nền tảng cung cấp tính năng nhắn tin, nghe, gọi tích hợp vào ứng dựng web
11. Nguyễn Trọng Đạt: Phương pháp giả lập đơn vị mã nguồn cho dự án C++ với Qt-Framework (Phạm Ngọc Hùng, Trần Hoàng Việt)

• Năm 2022

1. Bùi Anh Thư: Xây dựng công cụ hỗ trợ sinh dữ liệu kiểm thử cho các kiểu dữ liệu của thư viện Qt (Phạm Ngọc Hùng, Trần Hoàng Việt)
2. Đỗ Minh Hiếu: Phương pháp sinh dữ liệu kiểm thử tự động cho template trong các dự án C++ (Phạm Ngọc Hùng, Trần Hoàng Việt)

• Năm 2021

1. Nguyễn Trường Giang: Phương pháp phát hiện và xử lý đường kiểm thử bất khả thi trong bài toán sinh dữ liệu kiểm thử đơn vị cho các dự án C/C++ (Phạm Ngọc Hùng, Trần Hoàng Việt)
2. Nguyễn Duy Long: Xây dựng công cụ hỗ trợ thiết kế và quản lý trực quan các ca kiểm thử cho các đơn vị của dự án C/ C++ (Phạm Ngọc Hùng, Trần Hoàng Việt)
3. Lê Hữu Chung: Phương pháp giả lập đơn vị mã nguồn trong bài toán kiểm thử tích hợp cho các dự án C/C++ (Phạm Ngọc Hùng, Trần Hoàng Việt)
4. Trần Trung Thành: Xây dựng phần Back-end cho công cụ phân tích sự ảnh hưởng của thay đổi mã nguồn cho các dự án Java Enterprise (J2EE) sử dụng Spring Framework (Phạm Ngọc Hùng, Trần Hoàng Việt)
5. Nguyễn Văn Đức: Nghiên cứu, xây dựng hệ thống quản lý lịch làm việc nhóm cho Android (Trần Hoàng Việt)
6. Vũ Thành Đạt: Xây dựng phần Backend cho công cụ phân tích sự ảnh hưởng của thay đổi mã nguồn cho các dự án Java Enterprise (J2EE) sử dụng JSF Framework (Phạm Ngọc Hùng, Trần Hoàng Việt)
7. Nguyễn Đức Dương: Xây dựng Front-end cho công cụ phân tích sự ảnh hưởng của thay đổi mã nguồn cho các dự án Java Enterprise (J2EE). (Phạm Ngọc Hùng, Trần Hoàng Việt)

Hướng dẫn sinh viên NCKH

• Năm 2025
• Phương pháp kiểm thử hồi quy đơn vị tự động hiệu quả cho dự án sử dụng ngôn ngữ Java: Nguyễn Minh Quân, Đỗ Thị Trang. Giải ba cấp Khoa CNTT.
• Xây dựng công cụ kiểm thử đột biến tự động cho kiểm thử đơn vị dự án sử dụng ngôn ngữ Java: Trần Ngọc Anh Quân, Lại Vũ Thu Nguyệt. Giải khuyến khích cấp Khoa CNTT.
• Xây dựng công cụ sử dụng SMT Solver để kiểm chứng các mô hình được biểu diễn bằng Matlab/Simulink: Đinh Nho Hoàng, Giải khuyến khích cấp Khoa CNTT.
• Năm 2024
• Nghiên cứu và triển khai phương pháp kiểm thử Concolic trong việc hỗ trợ đào tạo thông qua hệ thống OASIS: Trần Ngọc Anh Quân, Nguyễn Ngọc Huy , Đỗ Thị Hồng Vân. Giải khuyến khích cấp Khoa CNTT.
• Phương pháp kiểm thử tự động dựa trên Concolic không sử dụng trình điều khiển kiểm thử cho dự án Java: Nguyễn Minh Quân, Nguyễn Đình Thành Đạt, Đỗ Thị Trang, Lê Thị Minh Tâm. Giải ba cấp Trường ĐHCN, giải nhì cấp Khoa CNTT.
• SIMULYSIS: Phương pháp phân tích ảnh hưởng của thay đổi trong dự án Simulink dựa trên WAVE-CIA: Tạ Văn Thắng, Cao Xuân Sơn, Đỗ Trọng Thư, Đinh Nho Hoàng. Giải khuyến khích cấp Khoa CNTT.
• Năm 2023
• Xây dựng hệ thống trực quan hóa và phân tích mô hình của các thiết kế ô tô: Hoàng Đức Hà, Phạm Hoàng Phi, Phạm Hoàng Lâm, Tạ Văn Thắng, Đỗ Trọng Thư, Cao Xuân Sơn. Giải ba cấp Trường ĐHCN, giải nhì cấp Khoa CNTT.
• Phương pháp cải thiện tốc độ phân tích phụ thuộc cho các dự án Java: Nguyễn Văn Phong, Nguyễn Quang Huy, Nguyễn Huy Hiệu. Giải khuyến khích cấp khoa
• Phân tích sự ảnh hưởng của thay đổi mã nguồn cho dự án C#: Đoàn Đức Kiên, 21020207, K66CA-CLC2, Lê Văn Huy, 20020197, K65C-CLC, Nguyễn Thị Mai Loan, 20020114, K65C-CLC, Nguyễn Hà Trang, 20020482, K65CC, Nguyễn Thị Oanh, 21020197, K66CD. Giải khuyến khích cấp khoa.