최형섭, 박홍성, “소프트웨어 화이트박스 테스트의 교호 강도 수 기반 테스트 방법,” 대한전자공학회 논문지, 2009.9, p.29-36