Issued Patents 2019
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10339485 | Efficiently generating test cases | Satish Chandra, Kommineni Vasanta Lakshmi, Nishant Sinha, Saurabh Sinha, Anand Krishna Vaishampayan | 2019-07-02 |
| 10241904 | Test components factorization in a build system | Jacek A. Czerwonka, Shuvendu K. Lahiri, Nikolaj S. Bjorner, August Shi | 2019-03-26 |