Inventor
CHA SOOYOUNG
KR3 patents
Patents
3 patentsUS10853230B2Dec 1, 2020
Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics
UNIV KOREA RES & BUS FOUND0 citations45
US10678680B2Jun 9, 2020
Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics
UNIV KOREA RES & BUS FOUND0 citations45
US12086055B2Sep 10, 2024
Method for automatically pruning search space of symbolic execution via machine learning
UNIV KOREA RES & BUS FOUND0 citations43