Issued Patents 2020
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10698804 | Identifying inputs for automated computer-program testing operations | Erick Bauman | 2020-06-30 |
| 10635576 | Branch coverage guided symbolic execution for hybrid fuzz testing of software binaries | Quoc-Sang Phan | 2020-04-28 |
| 10628281 | Concurrency vulnerability detection | Quoc-Sang Phan | 2020-04-21 |
| 10585660 | Reducing buffer overflow | — | 2020-03-10 |