| 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 |
