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