Sooyoung Cha

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Pruning Strategy

Feature Engineering

Search Heuristics

Symbolic Execution

Top Venues

ESEC/SIGSOFT FSE

Inf. Softw. Technol.

Publications

Jaehan Yoon, Sooyoung Cha
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Myungho Lee, Sooyoung Cha, Hakjoo Oh
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. ICSE (2023)
Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh
SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters. ICSE (2022)
Sooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, Hakjoo Oh
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. IEEE Trans. Software Eng. 48 (9) (2022)
Sooyoung Cha, Hakjoo Oh
Making symbolic execution promising by learning aggressive state-pruning strategy. ESEC/SIGSOFT FSE (2020)
Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh
Effective white-box testing of deep neural networks with adaptive neuron-selection strategy. ISSTA (2020)
Sooyoung Cha, Seongjoon Hong, Jingyoung Kim, Junhee Lee, Hakjoo Oh
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. CoRR (2019)
Sooyoung Cha, Hakjoo Oh
Concolic testing with adaptively changing search heuristics. ESEC/SIGSOFT FSE (2019)
Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh
Automatically generating search heuristics for concolic testing. ICSE (2018)
Sooyoung Cha, Sehun Jeong, Hakjoo Oh
A scalable learning algorithm for data-driven program analysis. Inf. Softw. Technol. 104 (2018)
Sooyoung Cha, Seonho Lee, Hakjoo Oh
Template-guided concolic testing via online learning. ASE (2018)
Sooyoung Cha, Sehun Jeong, Hakjoo Oh
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. APLAS (2016)