Issued Patents 2020
Showing 1–11 of 11 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10853051 | Automated candidate repair patch generation | Ripon K. SAHA, Wenyu Wang | 2020-12-01 |
| 10782941 | Refinement of repair patterns for static analysis violations in software programs | Hiroaki Yoshida | 2020-09-22 |
| 10761962 | Automated software program repair | Hiroaki Yoshida | 2020-09-01 |
| 10761961 | Identification of software program fault locations | Ripon K. SAHA, Indradeep Ghosh | 2020-09-01 |
| 10733075 | Data-driven synthesis of fix patterns | Rohan Bavishi, Hiroaki Yoshida | 2020-08-04 |
| 10728147 | Collection of forwarding rules | Alexander Horn, Eric Campbell | 2020-07-28 |
| 10693744 | Network property verification | Alexander Horn, Naoki Oguchi, Paparao Palacharla | 2020-06-23 |
| 10678673 | Software program fault localization | Ripon K. SAHA | 2020-06-09 |
| 10664383 | Automated software program repair of similar code snippets | Ripon K. SAHA | 2020-05-26 |
| 10642716 | Automated software program repair | Hiroaki Yoshida | 2020-05-05 |
| 10606570 | Representing software with an abstract code graph | Hiroaki Yoshida | 2020-03-31 |