Showing results 1 to 2 of 2
Improving precision of static type checker for web applications by using dynamic information = 동적 정보를 활용한 웹 애플리케이션 정적 타입 결함 검출기의 정확도 향상link Park, Joonyoung; 박준영; et al, 한국과학기술원, 2016 |
Reducing false alarms in static buffer overflow analysis = 정적 버퍼 오버플로우 분석의 거짓 경보 감소 기법link Kim, You-Il; 김유일; et al, 한국과학기술원, 2010 |
Discover