Följ
Jiseong Bak
Jiseong Bak
Department of Computer Science and Engineering, Korea University
Verifierad e-postadress på korea.ac.kr - Startsida
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.