Sledovat
Jiseong Bak
Jiseong Bak
Department of Computer Science and Engineering, Korea University
E-mailová adresa ověřena na: korea.ac.kr - Domovská stránka
Název
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.