Seguir
Jiseong Bak
Jiseong Bak
Department of Computer Science and Engineering, Korea University
Email confirmado em korea.ac.kr - Página inicial
Título
Citado por
Citado por
Ano
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
O sistema não pode efectuar a operação agora. Tente mais tarde.