Luận văn về tự động hóa và sửa lỗi cho các lỗi biến thể trong dòng sản phẩm phần mềm