Nhóm giảng viên của Khoa CNTT, đứng đầu là TS. Phạm Ngọc Hùng, hợp tác với các giáo sư ở Viện Khoa học và Công nghệ tiên tiến Nhật Bản vừa mới có một công trình khoa học được nhận đăng ở tạp chí IEICE Transaction on Fundamentals. Công trình (tiêu đề On Optimization of Minimized Assumption Generation Method for Component-based Software Verification) nghiên cứu về sinh giả định tối thiểu trong kiểm chứng phần mềm. Phương pháp sinh giả định tối thiểu (minimal assumption) được xem là giải pháp tiềm năng nhằm kiểm chứng một cách hiệu quả phần mềm dựa trên thành phần trong ngữ cảnh tiến hóa.
Thay thì kiểm chứng lại toàn bộ hệ thống, phương pháp này chỉ tập trung kiểm chứng đối với những thành phần phần mềm bị tiến hóa. Với cách làm này, bài toán bùng nổ không gian trạng thái trong kiểm chứng mô hình hứa hẹn được giải quyết. Tuy nhiên, độ phức tạp của thuật toán sinh giả định tối thiểu là rất lớn. Vì lý do này, phương pháp sinh giả định tối thiểu rất khó áp dụng trong thực tế.
Bài báo này đề xuất một phương pháp mới nhằm sinh giả định tối thiểu với chi phí thấp hơn. Trong phương pháp đề xuất, các ứng cử viên cho giả định tối thiểu được tổ chức dưới dạng cây tìm kiếm. Phương pháp đề xuất sử dụng thuật toán sâu lặp để tìm kiếm giả định tối thiểu. Nhóm tác giả đã tiến hành thực nghiệm trên một số hệ thống nhằm đánh giá tinh hiệu quả của phương pháp đề xuất. Kết quả thực nghiệm chỉ ra sự cải tiến vượt trội của phương pháp này so với phương pháp sinh giả định tối thiểu.