Dongjun Youn

Publications

Citations

H-Index

2021

Active since

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Dongjun Youn is an author at Korea Advanced Institute of Science and Technology specializing in software testing, computer science, and software analysis.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringSoftware SystemsFormal VerificationComputer Engineering

Publications per year

2021–2024

Publications

JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification

Jihyeok Park, Seungmin An, Dongjun Youn et al. · 2021 · 23 citations

Engineering, Verification, Software Systems +25

Bringing the WebAssembly Standard up to Speed with SpecTec

Dongjun Youn, Wonho Shin, J. J. Lee et al. · Proceedings of the ACM on Programming Languages · 2024 · 23 citations · Full text

Engineering, Hardware Verification Language, Software Systems +26

Declarative static analysis for multilingual programs using CodeQL

Dongjun Youn, Sungho Lee, Sukyoung Ryu · Software Practice and Experience · 2023 · 20 citations

Engineering, Software Systems, Language Interoperability +22

Accelerating JavaScript static analysis via dynamic shortcuts

Joonyoung Park, Jihyeok Park, Dongjun Youn et al. · 2021 · 13 citations · Full text

Engineering, Software Engineering, Source Code Analysis +17

Rows per page

1–4 of 4