Browse "School of Computing(전산학부)" by Subject dynamic symbolic execution
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
Open Access
- 187 OA Article
Date issued
- 1,837 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989