Seungmin An
Korea Advanced Institute of Science and Technology(KR)Kootenay Association for Science & Technology(CA)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Advanced Malware Detection Techniques, Parallel Computing and Optimization Techniques, Software Reliability and Analysis Research
Most-Cited Works
- → JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification(2021)23 cited
- → JISET(2020)19 cited
- → Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis(2022)7 cited
- → JSTAR: JavaScript Specification Type Analyzer using Refinement(2021)6 cited
- → A Meta-Level Static Analysis for JavaScript(2022)
- → Critical Design of MIMAN CubeSat for Aerosol Monitoring Mission(2021)