Thông thường, chương trình theo thử nghiệm instrumented, và chương trình thực hiện với đầu vào được đề xuất bởi tìm kiếm. Đường dẫn thực hiện thông qua chương trình sau đó được so sánh với một số cấu trúc quan tâm mà phạm vi bảo hiểm là tìm kiếm.
đang được dịch, vui lòng đợi..