서울대학교
중앙도서관
S-Space 소개
My S-Space
로그인이 필요합니다.
Login
S-Space
Communities & Collections
Researcher
Type
Title
nav bg
Browse
Author
검색
All
Author
Keyword
Title
검색
Jump to a point in the index
Choose year
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1985
1980
1975
1970
1960
1950
Choose month
January
February
March
April
May
June
July
August
September
October
November
December
Or type in a year
Sort by
issue date
title
submit date
created date
keyword
publisher
citation
liftdate
In order
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 14 of 14
Issue Date
Title / Author(s) / Citation
File
Altmetrics
2007
An Unused Memory Analysis by Abstract Interpretation for C Programs
황의권
link
2007
A Type Based Control Flow Analysis of Multi-Staged program
진민식
link
2007
Buffer-overrun abstract interpretation refinement for loops by qualitative approach
오학주
link
2007
Control flow analysis of multi-staged programs with open code
김덕환
link
2008
요약해석 고정점에 대한 루프와 배열의 정교화 : 분석기 스패로우를 중심으로
이희종
link
2008
매개화된 함수요약 : C 프로그램의 버퍼오버런 정적 검출기의 확장성과 문맥민감성을 위하여
박대준
link
2009
Abstract Parsing for Two-staged Languages with Concatenation
공순호
link
2010
Improving Bug Report Process With Machine Learning in Bug Repository System
정가을
link
2013-08
안드로이드 앱에서 개인정보 누출을 검출하는 정적분석기 설계
윤용호
view file
2014-02
정적 분석에서의 함수 호출 사이클 제거를 통한 C 프로그램의 분석 속도 개선
허진영
view file
2015-02
이진 탐색을 이용하는 단계 고정점 계산 가속 기법을 통한 C 프로그램 정적 분석 정확도 개선
김솔
view file
2015-08
정적 분석에 기반한 난독화 기술 비교
박지순
view file
2015-08
선별적 문맥 구분 분석을 위한 예비분석의 자동생성
강동옥
view file
2016-02
Improving the usability of static analyzers
이우석
view file
1