Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8997065 | Automatic modularization of source code | Michael E. Karr | 2015-03-31 |
| 8881116 | Identifying and triaging software bugs through backward propagation of under-approximated values and empiric techniques | — | 2014-11-04 |