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 | Eric A. Bier | 2022-12-06 |
| 11494537 | Method and system for efficient testing of digital integrated circuits | Aleksandar B. Feldman, Johan de Kleer, Ion Matei | 2022-11-08 |
| 11249888 | System and method for generating counterexample tests of incidental invariants | Eric A. Bier, Johan de Kleer, Ron Zvi Stern | 2022-02-15 |