Dongjun Youn
Korea Advanced Institute of Science and Technology(KR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Software Reliability and Analysis Research, Advanced Malware Detection Techniques, Software System Performance and Reliability
Most-Cited Works
- → JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification(2021)23 cited
- → Bringing the WebAssembly Standard up to Speed with SpecTec(2024)23 cited
- → Declarative static analysis for multilingual programs using CodeQL(2023)20 cited
- → Accelerating JavaScript static analysis via dynamic shortcuts(2021)13 cited
- → Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations(2023)2 cited
- → Wasm SpecTec: Engineering a Formal Language Standard(2023)1 cited
- → WEST: Specification-Based Test Generation for WebAssembly(2025)