Issued Patents 2023
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11704605 | Framework for guided change management and change impact analysis with automated change validation through formal executable semantics | Jon Hall, Lucia Rapanotti | 2023-07-18 |
| 11630758 | Artificial intelligence enabled output space exploration for guided test case generation | Christof J. Budnik, Marco Gario, Zhu Wang | 2023-04-18 |