발행물
컨퍼런스
제23회 통신정보 합동학술대회
2013
,
안드로이드 App 테스팅을 위한 가상센서 시스템
The 2009 International Conference on Software Engineering Research and Practice
2009
Analyzing Heap Usage of Java Programs
2007한국컴퓨터종합학술대회
가시성 원칙을 위반하는 연산 검출 기법
5th International Conference on Software Engineering Research, Management and Applications
2007
An Internet Query Language based on Intuitionistic Linear Logic
심볼릭링크공격에 취약한 코드검출기법