Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6804634 | Automatic generation and regeneration of a covering test case set from a model | Gerard J. Holzmann, Margaret H. Holzmann, Mihalis Yannakakis | 2004-10-12 |
| 6415396 | Automatic generation and maintenance of regression test cases from requirements | Kanwalinder Singh, Polly Yu | 2002-07-02 |