Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11907222 | Detecting chains of functions that violate a constraint | Ramakumar Kosuru, Clifford Earl Gray | 2024-02-20 |
| 6026362 | Tool and method for diagnosing and correcting errors in a computer program | Thomas Dongsuk Kim, Seth Gordon Hawthorne | 2000-02-15 |
| 6016474 | Tool and method for diagnosing and correcting errors in a computer program | Thomas Dongsuk Kim, Seth Gordon Hawthorne | 2000-01-18 |
| 6003143 | Tool and method for diagnosing and correcting errors in a computer program | Thomas Dongsuk Kim, Seth Gordon Hawthorne | 1999-12-14 |