Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8966453 | Automatic generation of program execution that reaches a given failure point | George Candea | 2015-02-24 |
| 8863096 | Parallel symbolic execution on cluster of commodity hardware | Stefan Bucur, George Candea | 2014-10-14 |