Results 1-3 of 3 (Search time: 0.003 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
Reducing false alarms in static buffer overflow analysis = 정적 버퍼 오버플로우 분석의 거짓 경보 감소 기법link Kim, You-Il; 김유일; Choe, Kwang-Moo; 최광무, 한국과학기술원, 2010 | |
(A) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link Kim, Chul-Joo; 김철주; Choe, Kwang-Moo; 최광무, 한국과학기술원, 2010 | |
Software theft detection through static trace birthmarks for java = 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지link Park, Hee-Wan; 박희완; Han, Tai-Sook; 한태숙, 한국과학기술원, 2010 |
Discover