Khóa luận cử nhân, kỹ sư
- Năm 2024
- 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)
- 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)
- Đỗ 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)
- 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)
- 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)
- Đà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)
- 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ệ
- 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
- Đào Thu Hằng: Xây dựng hệ thống quản lý, phê duyệt tài liệu
- 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
- 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
- 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
- Đỗ Đứ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
- 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)
- 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
- 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)
- 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
- Lê Tuấn Hùng: Xây dựng hệ thống diễn đàn theo nhóm trên nền web
- 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#
- 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
- 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
- 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
- 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)
- 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
- 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
- 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
- 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
- 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
- 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)
- Đỗ 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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 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.
- 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.
- 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.