Showing results 1 to 2 of 2
안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법 김윤호; 김문주, 정보과학회논문지, v.44, no.2, pp.171 - 178, 2017-02 |
효과적인 내장형 소프트웨어의 정수 확장(Integer Promotion) 버그 검출 기법 김문주; 김윤호; 김태진; 이호정; 장훈; 박민규, 정보과학회논문지 : 소프트웨어 및 응용, v.43, no.6, pp.692 - 699, 2016-06 |
Discover