Ứng dụng Java Path Finder và Z3

Luận văn nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình

Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình, nâng cao hiệu quả kiểm thử và chất lượng phần mềm.