Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12430200 | Device and method for program repair for type errors in dynamically typed language | Wonseok Oh | 2025-09-30 |
| 12253909 | Method for feedback of program | Dowon SONG | 2025-03-18 |
| 12086055 | Method for automatically pruning search space of symbolic execution via machine learning | Sooyoung CHA | 2024-09-10 |
| 10922209 | Device and method for automatically repairing memory deallocation errors | Junhee Lee, Seongjoon HONG | 2021-02-16 |
| 10853230 | Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics | Sooyoung CHA, Seongjoon HONG, Junhee Lee | 2020-12-01 |
| 10678680 | Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics | Sooyoung CHA, Seongjoon HONG, Junhee Lee | 2020-06-09 |