Showing results 1 to 8 of 8
Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상 이아청; 김문주; 김현우; 김윤호, 2018 한국컴퓨터종합학술대회, 한국정보과학회, 2018-06-21 |
Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가 김현우; 김문주; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30 |
Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구 김현우; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1071 - 1079, 2018-10 |
Concolic 테스팅을 위한 테스트 커버리지 향상 가이드라인 및 산업체 사례 연구 = Concolic testing guidelines for test coverage improvement : an industrial case studylink 김현우; 김문주; et al, 한국과학기술원, 2018 |
PolicyScape : crowdsourcing perspectives on public policies from stakeholders = PolicyScape : 정부 정책에 대한 이해 관계자의 관점 수집 시스템link Kim, Hyunwoo; Kim, Juho; et al, 한국과학기술원, 2019 |
맥락 카테고리 데이터셋 생성 장치 및 방법 김주호; 김현우; 고은영 |
효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구 김윤호; 김현우; 양웅규; 김문주, 한국정보과학회 2016년 동계학술대회, 한국정보과학회, 2016-12-22 |
효과적인 변이 분석을 위한 C 프로그램 변이 도구 비교: Proteum과 Milu를 사용한 사례 연구 김윤호; 김현우; 양웅규; 김문주, 정보과학회논문지, v.45, no.4, pp.342 - 347, 2018-04 |
Discover