2
Publications
42
Citations
2
H-Index
2020
Active since
Affiliations
Seungmin An is an author at Korea Advanced Institute of Science and Technology specializing in program analysis, computer science, and engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisCompilersVerificationFormal MethodsTest AutomationFormal SemanticsSoftware SystemsSoftware Testing
Publications per year
2020–2021
2
2
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification
Jihyeok Park, Seungmin An, Dongjun Youn et al. · 2021 · 23 citations
Jihyeok Park, Ji-Hee Park, Seungmin An et al. · 2020 · 19 citations
Rows per page
1–2 of 2