Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12086055 | Method for automatically pruning search space of symbolic execution via machine learning | Hakjoo OH | 2024-09-10 |
| 10853230 | Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics | Seongjoon HONG, Junhee Lee, Hakjoo OH | 2020-12-01 |
| 10678680 | Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics | Seongjoon HONG, Junhee Lee, Hakjoo OH | 2020-06-09 |