Issued Patents 2018
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10152406 | Software program repair | Hiroaki Yoshida, Shin Hwei Tan | 2018-12-11 |
| 10133657 | Textual similarity based software program repair | Hiroaki Yoshida, Ripon K. SAHA | 2018-11-20 |
| 10078502 | Verification of a model of a GUI-based application | Frolin S. Ocariza, Jr. | 2018-09-18 |
| 10057166 | Network verification | Alexander Horn, Ali Kheradmand | 2018-08-21 |