서울대학교
중앙도서관
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 13 of 13
Issue Date
Title / Author(s) / Citation
File
Altmetrics
2011-02
Alarm-guided locally relational post-analysis for reducing false alarms
장수원
link
2011-02
Semantic Code Clone Detection by Comparing Abstract Memory States
김희정
link
2013-08
정적 분석에서 허위 함수 호출 사이클의 조사
유병준
view file
2014-02
가상머신 난독화 코드의 정적분석
이영석
view file
2016-02
PL/SQL 코드에서 변경 영향을 검출하는 오염 분석기 설계: 요약 해석을 기반으로
김용기
view file
2017-02
데이터 의존성 및 실행 흐름 그래프를 활용하여 사용자 상호작용 기반 경보 분류 시스템의 효율성 높이기
최재승
view file
2017-02
콜-리턴 짝이 맞는 경로에 대한 사용자 상호작용을 통해 정보흐름 분석 경보를 분류하는 방법
김종권
view file
2018-08
An Automated Error Localization System for Introductory Programming Assignments
Duekeun Kim
view file
2019-02
함수 단위 중복코드 쌍을 자동으로 안전하게 고치는 방법
양준모
view file
2019-02
분석 중 값 정보를 기록하여 쉽게 정적 분석기 디버깅하기
배요한
view file
2022
정적 분석 정확도 향상을 위한 코드 변환 규칙
김세훈
view file
link
2023
파이썬 프로그램에서의 처리되지 않은 예외 분석: 디지털 포렌식 소프트웨어 중점으로
이서우
view file
link
2023
동형암호 컴파일러를 위한 다항식 최적화 알고리즘
박규연
view file
link
1