Browse "CS-Theses_Master(석사논문) " by Author Ryu, Sukyoung

Showing results 1 to 9 of 9

1
(A) survey on security of blockchain smart contracts : research trends and insights = 블록체인 스마트 컨트랙트의 보안에 관한 조사 : 연구 동향 및 통찰link

Kim, Shinhae; Ryu, Sukyoung; et al, 한국과학기술원, 2020

2
Automatic detection of visibility faults by layout changes in HTML5 web pages = HTML5 웹 페이지에서 레이아웃 변화로 인해 발생하는 가시성오류 자동으로 탐지하기link

Ryou, Yeonhee; Ryu, Sukyoung; et al, 한국과학기술원, 2018

3
Automatically deriving JavaScript double debugger from language specification = 자바스크립트 명세로부터 실행 상태를 관찰 및 제어할 수 있는 도구 자동 유도link

An, Seungmin; Ryu, Sukyoung; et al, 한국과학기술원, 2022

4
Formal specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link

Kang, Seonghoon; 강성훈; et al, 한국과학기술원, 2012

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

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

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

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

7
Polymorphic symmetric multiple dispatch with variance = 가변성과 다형성을 가지는 언어에서의 대칭 다중 디스패치link

Park, Gyunghee; Ryu, Sukyoung; et al, 한국과학기술원, 2019

8
Securing legacy kernel with type-guided refactoring to rust = 러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호link

Park, Sanguk; Ryu, Sukyoung; et al, 한국과학기술원, 2021

9
Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link

Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016

rss_1.0 rss_2.0 atom_1.0