예상 결과를 속성으로 표현하기
개별 입력의 답을 나열하는 대신 생성한 입력에서 유지되어야 할 관계를 검사한다. 타입에 맞는 값을 만들어 자료 구조나 연산의 동작을 살필 수 있다. 검사 조건이 잘못되거나 생성 범위가 좁으면 중요한 실패를 놓칠 수 있으므로 입력 모델과 판정 조건을 함께 검토한다.
같은 목표와 여러 엔진
하나의 검사 목표를 여러 탐색 엔진에서 실행할 수 있도록 인터페이스를 제공한다. 엔진별 실행 조건과 탐색 전략은 다르므로 같은 목표를 사용한다고 실행 비용이나 발견 결과가 같지는 않다. 제한된 시간 동안 문제가 발견되지 않은 결과를 가능한 모든 입력에 대한 보증으로 해석하지 않는다.
실패 입력의 축소와 재실행
실패를 일으키는 복잡한 입력을 더 작은 형태로 줄여 원인을 파악하도록 돕는다. 저장된 입력 모음은 일반 Cargo 검사에서 다시 실행할 수 있어 이전에 찾은 경로를 지속적으로 확인하는 자료가 된다. 소스 변화 뒤에도 의미 있는 입력인지 관리하고 실패 사례가 재현되는 환경과 판정 조건을 함께 보존한다.