Inventor
OH HAKJOO
KR7 patents
Patents
7 patentsUS12430200B2Sep 30, 2025
Device and method for program repair for type errors in dynamically typed language
UNIV KOREA RES & BUS FOUND0 citations59
US12443480B2Oct 14, 2025
Method for repairing null pointer exception
UNIV KOREA RES & BUS FOUND0 citations57
US10922209B2Feb 16, 2021
Device and method for automatically repairing memory deallocation errors
UNIV KOREA RES & BUS FOUND0 citations47
US10853230B2Dec 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
US12253909B2Mar 18, 2025
Method for feedback of program
UNIV KOREA RES & BUS FOUND0 citations40