**직관: 두 프로그램이 동일한 concept를 구현하고 있다면 동일한 입력에 대해 동일한 출력을 만들어야 한다는 것.** 동일한 입력값을 유사한 기능을 가진 여러 프로그램(또는 동일 프로그램의 다른 버전)에 입력한 후, 결과의 차이를 비교하여 버그나 불일치를 찾아내는 소프트웨어 테스트 기법