quickcheck https://crates.io/crates/quickcheck 무작위 인풋을 기반으로 테스팅을 수행해주는 녀석. 거기에 파라메트릭 서치를 더해 정확히 어느 파라미터에서부터 에러가 나는지 (error shrinking) 파악도 해준다.