최형섭, 박홍성, “소프트웨어 화이트박스 테스트의 교호 강도 수 자동결정 방법 연구,” 대한전기학회 하계학술대회, 2009.7, p.1893-1894