kỹ thuật kiểm chứng mô hình

Luận văn thạc sĩ nghiên cứu vnu uet 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, đánh giá hiện trạng, phân tích vấn đề, đề xuất biện