Follow
Jiseong Bak
Jiseong Bak
Department of Computer Science and Engineering, Korea University
Verified email at korea.ac.kr - Homepage
Title
Cited by
Cited by
Year
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
102021
The system can't perform the operation now. Try again later.