한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2007년도 추계학술발표대회
- /
- Pages.332-335
- /
- 2007
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
기호실행을 이용한 C 언어 단위테스트 케이스 자동 생성기의 구현
Implementation of Automated C Unit Test Case Generator using Symbolic Execution
- 서윤주 (서울대학교 컴퓨터공학부) ;
- 김택수 (서울대학교 컴퓨터공학부) ;
- 이춘우 (서울대학교 컴퓨터공학부) ;
- 김기문 (서울대학교 컴퓨터공학부) ;
- 박복남 (LG 전자 DTV 연구소) ;
- 신철오 (LG 전자 DTV 연구소) ;
- 우치수 (서울대학교 컴퓨터공학부)
- Seo, Yunju (Dept. of Computer Science Engineering, Seoul National University) ;
- Kim, Taeksu (Dept. of Computer Science Engineering, Seoul National University) ;
- Lee, Chunwoo (Dept. of Computer Science Engineering, Seoul National University) ;
- Kim, Kimun (Dept. of Computer Science Engineering, Seoul National University) ;
- Park, Boknam (Dept. of DTV R&D Center, LG Electronics) ;
- Shin, Chuloh (Dept. of DTV R&D Center, LG Electronics) ;
- Wu, Chisu (Dept. of Computer Science Engineering, Seoul National University)
- 발행 : 2007.11.09