Browse "School of Computing(전산학부)" by Author An, Seungmin
Showing results 1 to 5 of 5
| Automatically deriving JavaScript double debugger from language specification = 자바스크립트 명세로부터 실행 상태를 관찰 및 제어할 수 있는 도구 자동 유도link An, Seungmin; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
| Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis Park, Jihyeok; An, Seungmin; Ryu, Sukyoung, ESEC/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.1022 - 1034, ACM, 2022-11-14 |
| JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification Park, Jihyeok; An, Seungmin; Youn, Dongjun; Kim, Gyeongwon; Ryu, Sukyoung, 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), pp.13 - 24, IEEE COMPUTER SOC, 2021-05 |
| JISET: JavaScript IR-based Semantics Extraction Toolchain PARK, JIHYEOK; Park, Jihee; An, Seungmin; Ryu, Sukyoung, 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, pp.647 - 658, IEEE/ACM, 2020-09-23 |
| JSTAR: JavaScript Specification Type Analyzer using Refinement Park, Jihyeok; An, Seungmin; Shin, Wonho; Sim, Yusung; Ryu, Sukyoung, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.606 - 616, IEEE/ACM, 2021-11-17 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,775 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989