DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Ph.D.(박사논문) " by Author 류석영

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 10 of 10

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

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

2
Composing static analyzers for bug and security vulnerability detection in multilingual android applications = 정적 분석기들의 결합을 통한 다양한 언어로 개발된 안드로이드 앱의 결함 및 보안 취약성 검출link

이성호; Ryu, Sukyoung; et al, 한국과학기술원, 2020

3
Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link

Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011

4
Detection of three-dimensional information of blood and lymphatic vessels in optical coherence tomography images = 광간섭단층촬영 영상에서 혈관 및 림프관의 3차원적 정보 검출link

Han, Myounghee; Ryu, Sukyoung; et al, 한국과학기술원, 2018

5
Exception analysis for languages with exceptions = 프로그램 실행 중 처리되지 않는 예외상황을 예측하는 방법link

Ryu, Suk-Young; 류석영; et al, 한국과학기술원, 2001

6
Generating error-revealing inputs with new static analysis warnings = 새로운 정적 분석 경고를 통한 오류 입력 값 생성link

Cheung, Wai Ting; Kim, Sunghun; 김성훈; Ryu, Suk Young; et al, 한국과학기술원, 2018

7
JavaScript static analysis for evolving language specifications = 성장하는 프로그래밍 언어 명세를 위한 자바스크립트 정적 분석link

Park, Jihyeok; Ryu, Sukyoung; et al, 한국과학기술원, 2022

8
Recursive types in object-oriented languages = 객체 지향 언어에서 재귀 타입 지원link

Na, Hyunik; 나현익; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2013

9
Static and dynamic combined analysis for bug detection of web apps = 웹 앱 결함 검출을 위한 정적 동적 혼합 분석link

Park, Joonyoung; Ryu, Sukyoung; et al, 한국과학기술원, 2022

10
Towards secure web applications with static analysis = 안전한 웹 어플리케이션 개발을 위한 JavaScript 정적 분석 디자인 및 응용link

Ko, Yoonseok; Ryu, Sukyoung; et al, 한국과학기술원, 2018

Discover

rss_1.0 rss_2.0 atom_1.0