Issued Patents All Time
Showing 1–20 of 20 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12095796 | Instruction-level threat assessment | Curtis Gerald Condra, Yijou Chen | 2024-09-17 |
| 11321219 | Intelligently fuzzing data to exercise a service | Bo Huang, Marina Polishchuk | 2022-05-03 |
| 10983853 | Machine learning for input fuzzing | Rishabh Singh, Hila Peleg | 2021-04-20 |
| 10977161 | Automatic intelligent cloud service testing tool | Marina Polishchuk, Evangelos Atlidakis | 2021-04-13 |
| 10846211 | Testing kernel mode computer code by executing the computer code in user mode | Barry Bond | 2020-11-24 |
| 10635476 | Cloud architecture for automated testing | William R. Blum, David Molnar | 2020-04-28 |
| 9882923 | Automatic context-sensitive sanitization | David Molnar, Benjamin Livshits, Prateek Saxena | 2018-01-30 |
| 9552285 | Micro-execution for software testing | — | 2017-01-24 |
| 8898776 | Automatic context-sensitive sanitization | David Molnar, Benjamin Livshits, Prateek Saxena | 2014-11-25 |
| 8782625 | Memory safety of floating-point computations | Johannes Kinder | 2014-07-15 |
| 8578344 | Incremental compositional dynamic test generation | Shuvendu K. Lahiri, Cindy Rubio-Gonzalez | 2013-11-05 |
| 8549486 | Active property checking | Michael Y. Levin, David Molnar | 2013-10-01 |
| 7716322 | Automatic exploration and testing of dynamic Web sites | Michael Benedikt, Juliana Freire Silva, Avinash Vyas | 2010-05-11 |
| 7002903 | Automatic verification of Walsh code orthogonality | Satish Chandra, Christopher D. Palm, Steven M. Welsh | 2006-02-21 |
| 6708328 | Employment of value of unknown in portion of partial state space for analysis of part of system | Glenn R. Bruns | 2004-03-16 |
| 6697840 | Presence awareness in collaborative systems | James David Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li | 2004-02-24 |
| 6178394 | Protocol checking for concurrent systems | — | 2001-01-23 |
| 6102968 | Method for automatically closing open reactive systems | Christopher Colby, Lalita Jategaonkar Jagadeesan | 2000-08-15 |
| 5937181 | Simulation of a process of a concurrent system | Bernard Armand Boigelot | 1999-08-10 |
| 5768498 | Protocol verification using symbolic representations of queues | Bernard Armand Boigelot | 1998-06-16 |