Issued Patents All Time
Showing 26–50 of 84 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10642716 | Automated software program repair | Hiroaki Yoshida | 2020-05-05 |
| 10606570 | Representing software with an abstract code graph | Hiroaki Yoshida | 2020-03-31 |
| 10521224 | Automatic identification of relevant software projects for cross project learning | Ripon K. SAHA | 2019-12-31 |
| 10496459 | Automated software program repair candidate selection | Hiroaki Yoshida | 2019-12-03 |
| 10496519 | Method invocation synthesis for software program repair | Ripon K. SAHA, Hiroaki Yoshida | 2019-12-03 |
| 10462017 | Network property verification in hybrid networks | Alexander Horn | 2019-10-29 |
| 10360027 | Automatically extracting a model for the behavior of a mobile application | Wei Yang | 2019-07-23 |
| 10355985 | Network property verification | Alex Horn | 2019-07-16 |
| 10296447 | Automated software program repair | Hiroaki Yoshida, Benjamin Mehne | 2019-05-21 |
| 10268572 | Interactive software program repair | Hiroaki Yoshida, Ripon K. SAHA, Indradeep Ghosh | 2019-04-23 |
| 10180897 | Automated software program repair | Hiroaki Yoshida | 2019-01-15 |
| 10176086 | Event-driven software test sequence determination | Martin Rogalla | 2019-01-08 |
| 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 |
| 9846637 | Machine learning based software program repair | Hiroaki Yoshida, Divya Gopinath | 2017-12-19 |
| 9779239 | Detection of malicious software behavior using signature-based static analysis | Wei Yang | 2017-10-03 |
| 9755893 | Provisioning virtual optical networks | Qianqian Wang, Indradeep Ghosh, Xi Wang, Paparao Palacharla | 2017-09-05 |
| 9735873 | Provisioning virtual optical networks | Indradeep Ghosh, Xi Wang, Paparao Palacharla | 2017-08-15 |
| 9733782 | Extracting a deterministic finite-state machine model of a GUI based application | — | 2017-08-15 |
| 9652360 | Crawling for extracting a model of a GUI-based application | — | 2017-05-16 |
| 9614731 | Scalable provisioning of virtual optical network demands | Indradeep Ghosh, Fan Yu, Paparao Palacharla, Xi Wang | 2017-04-04 |
| 9531599 | Virtual optical network provisioning based on mapping choices and patterns | Indradeep Ghosh, Xi Wang, Paparao Palacharla | 2016-12-27 |
| 9418173 | Detection of cross-platform differences of web applications | — | 2016-08-16 |