Issued Patents 2017
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9792204 | System and method for coverage-based automated test case augmentation for design models | Meng Li, Jian Dai, Scott Alan Stacey | 2017-10-17 |
| 9747079 | Method and system of software specification modeling | Kit Yan Siu, Andrew Walter Crapo, Luca Parolini, Panagiotis Manolios, Han Yu +1 more | 2017-08-29 |