Thuật toán CDNF
-
Luận án trình bày các nội dung chính sau: Giới thiệu các khái niệm cơ bản được sử dụng trong các nghiên cứu của luận án. Phương pháp sinh giả định nhỏ nhất và mạnh nhất cục bộ; Đề xuất một phương pháp sinh giả định yếu nhất cục bộ và sử dụng giả định đó một cách hiệu quả trong việc kiểm chứng các phần mềm trong ngữ cảnh tiến hóa;...
28p viyeri2711 14-09-2021 19 3 Download