Kiểm thử phần mềm tự động

Luận văn thạc sĩ khoa học máy tính sinh test case tự động cho chương trình chứa điều kiện phức tạp sử dụng giải thuật di truyền

Luận văn thạc sĩ nghiên cứu phương pháp sinh test case tự động cho chương trình phức tạp bằng giải thuật di truyền, ứng dụng hiệu quả trong kiểm thử phần mềm.

Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả

Luận án tiến sĩ về mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả. Nghiên cứu ứng dụng mạng Petri màu và chuỗi luật ECA để nâng cao độ tin cậy.