Follow
Sooyoung Cha
Title
Cited by
Cited by
Year
Effective white-box testing of deep neural networks with adaptive neuron-selection strategy
S Lee, S Cha, D Lee, H Oh
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
752020
Automatically generating search heuristics for concolic testing
S Cha, S Hong, J Lee, H Oh
Proceedings of the 40th International Conference on Software Engineering …, 2018
382018
Concolic testing with adaptively changing search heuristics
S Cha, H Oh
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
222019
Learning a strategy for choosing widening thresholds from a large codebase
S Cha, S Jeong, H Oh
Asian Symposium on Programming Languages and Systems, 25-41, 2016
172016
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing
M Lee, S Cha, H Oh
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
162023
Enhancing dynamic symbolic execution by automatically learning search heuristics
S Cha, S Hong, J Bak, J Kim, J Lee, H Oh
IEEE Transactions on Software Engineering 48 (9), 3640-3663, 2021
162021
Template-guided concolic testing via online learning
S Cha, S Lee, H Oh
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
152018
Making symbolic execution promising by learning aggressive state-pruning strategy
S Cha, H Oh
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
132020
A scalable learning algorithm for data-driven program analysis
S Cha, S Jeong, H Oh
Information and Software Technology 104, 1-13, 2018
72018
SymTuner: maximizing the power of symbolic execution by adaptively tuning external parameters
S Cha, M Lee, S Lee, H Oh
Proceedings of the 44th International Conference on Software Engineering …, 2022
62022
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution
J Yoon, S Cha
Proceedings of the ACM on Software Engineering 1 (FSE), 2447-2468, 2024
2024
METHOD FOR AUTOMATICALLY PRUNING SEARCH SPACE OF SYMBOLIC EXECUTION VIA MACHINE LEARNING
H OH, S Cha
US Patent App. 17/496,012, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–12