DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Subject 정적 분석

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 19 of 19

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

Kim, Chul-Joo; 김철주; et al, 한국과학기술원, 2010

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

Kim, Tai-Hyo; 김태효; et al, 한국과학기술원, 2007

3
An Empirical study on the rewritability of the with statement in JavaScript = JavaScript 프로그램에서 with 문의 제거 가능성에 대한 실험적 연구link

Park, Chang-Hee; 박창희; et al, 한국과학기술원, 2012

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

Jo, Jang-Wu; 조장우; et al, 한국과학기술원, 2003

5
Automatic API modling for static analysis of web applications = 웹 앱 정적 분석을 위한 API 자동 모델링link

Bae, Sung-Gyeong; 배성경; et al, 한국과학기술원, 2015

6
Building a sound and practical static analysis framework for JavaScript web applications in the wild = 자바스크립트 웹 어플리케이션의 안전하고 실용적인 정적 분석을 위한 프레임워크 개발 연구link

Park, Changhee; 박창희; et al, 한국과학기술원, 2016

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

Choi, Seok-Woo; 최석우; et al, 한국과학기술원, 2009

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

Yun, Jeong-Han; 윤정한; et al, 한국과학기술원, 2011

9
Improving precision of static type checker for web applications by using dynamic information = 동적 정보를 활용한 웹 애플리케이션 정적 타입 결함 검출기의 정확도 향상link

Park, Joonyoung; 박준영; et al, 한국과학기술원, 2016

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

Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2007

11
Partition-based coverage metrics and type-guided search strategies in concolic testing for javascript applications = 자바스크립트 프로그램의 concolic 테스팅을 위한 partition-based 커버리지 매트릭스와 타입 우선 탐색 전략link

Bae, Sora; 배소라; et al, 한국과학기술원, 2016

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

Kim, You-Il; 김유일; et al, 한국과학기술원, 2010

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

Park, Hee-Wan; 박희완; et al, 한국과학기술원, 2010

14
WALA와 Boa를 활용하여 대규모 소프트웨어 저장소를 정적으로 분석하는 도구 개발

박경희; 류석영, 정보과학회논문지, v.44, no.10, pp.1081 - 1086, 2017-10

15
사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교

김윤호; 박용배; 김문주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.8, pp.424 - 428, 2013-08

16
안드로이드 앱 리플렉션 호출에서 발생하는 개인 정보 유출 위험 정적 분석 = Static analysis of private data leakage risk on android application reflective calllink

이정준; 최광무; et al, 한국과학기술원, 2017

17
정적 API 트레이스 버스마크를 이용한 자바 클래스 도용 탐지

박희완; 최석우; 임현일; 한태숙, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.14, no.9, pp.911 - 915, 2008-12

18
프로그램의 구조와 상수 값을 이용하는 바이너리 실행 파일의 차이점 분석

박희완; 최석우; 서선애; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.35, no.7, pp.452 - 461, 2008-07

19
확장성을 조절할 수 있는 자바스크립트 앱 정적 분석 프레임워크

고윤석; 류석영, 정보과학회논문지, v.42, no.11, pp.1404 - 1409, 2015-11

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0