Search

Start a new search
Current filters:
Add filters:
  • Results/Page
  • Sort items by
  • In order
  • Authors/record

Results 1-9 of 9 (Search time: 0.005 seconds).

NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
1
Building a sound and practical static analysis framework for JavaScript web applications in the wild = 자바스크립트 웹 어플리케이션의 안전하고 실용적인 정적 분석을 위한 프레임워크 개발 연구link

Park, Changhee; 박창희; Ryu, Sukyoung; 류석영, 한국과학기술원, 2016

2
(A) static analysis technique for improving accuracy of worst case execution time estimation = 최장 수행 시간 예측의 정확도 향상을 위한 정적 분석 기법link

Kim, Tai-Hyo; 김태효; Cha, Sung-Deok; 차성덕, 한국과학기술원, 2007

3
Code theft detection by software birthmarks for binary executables = 바이너리 실행파일의 소프트웨어 버스마크를 이용한 코드 도용 탐지link

Choi, Seok-Woo; 최석우; Han, Tai-Sookresearcher; 한태숙, 한국과학기술원, 2009

4
Software theft detection through static trace birthmarks for java = 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지link

Park, Hee-Wan; 박희완; Han, Tai-Sookresearcher; 한태숙, 한국과학기술원, 2010

5
Analysis to estimate uncaught exceptions and exception flows for java = 자바에 대한 처리되지 않는 예외와 예외의 흐름을 예측하는 분석link

Jo, Jang-Wu; 조장우; Choe, Kwang-Mooresearcher; 최광무, 한국과학기술원, 2003

6
Off-line slicing of abstract interpretation results for automatic construction of economical program proofs = 요약해석 결과의 오프라인 가지치기를 이용한 프로그램 증명의 경제적인 자동 생성link

Seo, Sun-Ae; 서선애; Han, Tai-Sookresearcher; 한태숙, 한국과학기술원, 2007

7
Detecting schizophrenia in imperative synchronous languages = 절차형 동기언어 컴파일시 회로 재사용에 의한 문제점 검증link

Yun, Jeong-Han; 윤정한; Tai-Sook Hanresearcher; 한태숙, 한국과학기술원, 2011

8
(A) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link

Kim, Chul-Joo; 김철주; Choe, Kwang-Mooresearcher; 최광무, 한국과학기술원, 2010

9
Reducing false alarms in static buffer overflow analysis = 정적 버퍼 오버플로우 분석의 거짓 경보 감소 기법link

Kim, You-Il; 김유일; Choe, Kwang-Mooresearcher; 최광무, 한국과학기술원, 2010

rss_1.0 rss_2.0 atom_1.0