Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10809985 | Instrumenting program code | John Lawrence Hamby, Manish Kumar Jayaswal, Andrew Michael Casey, Aleksey V. Tsingauz, Tomas Matousek +2 more | 2020-10-20 |
| 10620922 | Compiler platform for test method | Manish Kumar Jayaswal, Artur Zbigniew Spychaj, En-Shuo Hsu, Peter Bern Waldschmidt, Kevin Halverson +2 more | 2020-04-14 |
| 9043727 | Visualization techniques for imprecise statement completion | Avner Y. Aharoni, Henricus Johannes Maria Meijer, Andrew E. Kimball, David N. Schach, Sravani Kothapalle +4 more | 2015-05-26 |