Issued Patents All Time
Showing 1–3 of 3 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 |
| 10678681 | Method and device for automatic testing | Ivan Tritchkov | 2020-06-09 |