trust

형식적 증명 없이도 차등 테스트는 통하지만, 공통 모드 오류가 함정이다

차등 테스트는 정답을 몰라도 버그를 찾아준다. 문제는 상관관계 있는 실수가 '일치'로 보인다는 점이다. 여기서 사각지대를 찾는 법을 알아본다.