| 1 | Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link Sun, Kwangwon; 선광원; Ryu, Sukyoung; 류석영, 한국과학기술원, 2016 |
| 2 | Improving precision of static type checker for web applications by using dynamic information = 동적 정보를 활용한 웹 애플리케이션 정적 타입 결함 검출기의 정확도 향상link Park, Joonyoung; 박준영; Ryu, Sukyoung; 류석영, 한국과학기술원, 2016 |
| 3 | Partition-based coverage metrics and type-guided search strategies in concolic testing for javascript applications = 자바스크립트 프로그램의 concolic 테스팅을 위한 partition-based 커버리지 매트릭스와 타입 우선 탐색 전략link Bae, Sora; 배소라; Ryu, Sukyoung; 류석영, 한국과학기술원, 2016 |
| 4 | Automatic API modling for static analysis of web applications = 웹 앱 정적 분석을 위한 API 자동 모델링link Bae, Sung-Gyeong; 배성경; Ryu, Suk Young; 류석영, 한국과학기술원, 2015 |
| 5 | Extending bug detector and improving analysis performance in SAFE = SAFE의 버그 감지 확장 및 분석 성능 향상link Won, Soon-Cheol; 원순철; Ryu, Suk Young; 류석영, 한국과학기술원, 2014 |
| 6 | Improving the analysis precision of JavaScript programs via assertion = Assert로 자바스크립트 프로그램 분석의 정확도 높이기link Lee, Hong-Ki; 이홍기; Ryu, Suk-Young; 류석영, 한국과학기술원, 2013 |
| 7 | An Empirical study on the rewritability of the with statement in JavaScript = JavaScript 프로그램에서 with 문의 제거 가능성에 대한 실험적 연구link Park, Chang-Hee; 박창희; Ryu, Suk-Young; 류석영, 한국과학기술원, 2012 |
| 8 | Formal specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link Kang, Seonghoon; 강성훈; Ryu, Sukyoung; 류석영, 한국과학기술원, 2012 |
| 9 | Automatic javascript bug detection framework and different approaches to false-positive minimization = 자바스크립트 자동 버그감지 프레임워크 구축 및 거짓경보 최소화를 위한 다양한 접근link Jin, Jun-Ho; 진준호; Ryu, Suk-Young; 류석영, 한국과학기술원, 2014 |
