Issued Patents 2022
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11520689 | System and method for automatic program repair using fast-result test cases | Alexandre Campos Perez | 2022-12-06 |
| 11265331 | Bluetooth hub device mediating connections between mobile device and controlled device | Alejandro E. Brito, Shantanu Rane | 2022-03-01 |
| 11249888 | System and method for generating counterexample tests of incidental invariants | Alexandre Campos Perez, Johan de Kleer, Ron Zvi Stern | 2022-02-15 |