| 10437713 |
System and method for equivalence class analysis-based automated requirements-based test case generation |
Meng Li, Italo Romani de Oliveira, Augusto Marasca De Conto, Han Yu, Daniel Edward Russell +1 more |
2019-10-08 |
| 10346140 |
System and method for model based technology and process for safety-critical software development |
Timothy L. Johnson, Andrew Walter Crapo, Michael Richard Durling, Alexander Walsch, Kit Yan Siu +5 more |
2019-07-09 |
| 10025696 |
System and method for equivalence class analysis-based automated requirements-based test case generation |
Meng Li, Italo OLIVEIRA, Augusto Marasca De Conto |
2018-07-17 |
| 9983902 |
System and method for multi-level real-time scheduling analyses |
Gregory Reed Sykes, Kevin Jones, Hongwei Liao |
2018-05-29 |
| 9747079 |
Method and system of software specification modeling |
Kit Yan Siu, Andrew Walter Crapo, Michael Richard Durling, Luca Parolini, Han Yu +1 more |
2017-08-29 |
| 9639450 |
Scalable methods for analyzing formalized requirements and localizing errors |
— |
2017-05-02 |
| 8438513 |
Quantifier elimination by dependency sequents |
Evgueni Goldberg |
2013-05-07 |
