졸업일 2009. 02.

석사학위논문 계약 기반 클래스의 연산 테스트를 위한 스크립트 자동 생성 (Automatic Test Script Generation for Operation Tests of A Contract Based Class)