Ph.D. in Computer Science and Engineering, Korea University
학술지 논문
(2022)
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING.
48,
9
학술회의논문
(2024)
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution.
ACM SIGSOFT Symposium on the Foundations of Software Engineering.
브라질
(2023)
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing.
International Conference on Software Engineering.
오스트레일리아
(2022)
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters.
International Conference on Software Engineering.
미국
발전기금
