Seungmin An

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 6

Top Topics

Static Analysis

Web Applications

Scripting Language

Formal Specification

Top Venues

ICSE (Companion Volume)

ESEC/SIGSOFT FSE

Publications

Jihyeok Park, Seungmin An, Sukyoung Ryu
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis. ESEC/SIGSOFT FSE (2022)
Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu
JSTAR: JavaScript Specification Type Analyzer using Refinement. ASE (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification. ICSE (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. CoRR (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification. ICSE (Companion Volume) (2021)
Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu
JISET: JavaScript IR-based Semantics Extraction Toolchain. ASE (2020)