Issued Patents All Time
Showing 1–25 of 25 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11237943 | Generating inputs for computer-program testing | Quoc-Sang Phan | 2022-02-01 |
| 10902130 | Guiding automated testing of binary programs | — | 2021-01-26 |
| 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 |
| 10394694 | Unexplored branch search in hybrid fuzz testing of software binaries | Quoc-Sang Phan | 2019-08-27 |
| 10255166 | Determination of valid input sequences for an unknown binary program | Bogdan Copos | 2019-04-09 |
| 9772931 | Determining a valid input for an unknown binary module | Bogdan Copos | 2017-09-26 |
| 9767290 | Autonomous reasoning system for vulnerability analysis | Bogdan Copos, Thuan Pham | 2017-09-19 |
| 9552284 | Determining valid inputs for an unknown binary program | Bogdan Copos | 2017-01-24 |
| 9489517 | Determining an attack surface of software | — | 2016-11-08 |
| 9043921 | Determining software metrics | — | 2015-05-26 |
| 9038032 | Symbolic execution and automatic test case generation for JavaScript programs | Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan | 2015-05-19 |
| 8949811 | Constructing a control flow graph for a software program | — | 2015-02-03 |
| 8875109 | Tracking variables in javascript software using a control flow graph | — | 2014-10-28 |
| 8793665 | Performing taint analysis for javascript software using a control flow graph | — | 2014-07-29 |
| 8656370 | Symbolic execution of javascript software using a control flow graph | Sreeranga P. Rajan | 2014-02-18 |
| 8640084 | Generating validation test suites | — | 2014-01-28 |
| 8577665 | Synthesis of message sequence charts from communicating finite-state machines | Cong Liu | 2013-11-05 |
| 8543983 | Creating hierarchical message sequence charts for visualizing user-interactive applications | — | 2013-09-24 |
| 8543986 | Methods and systems for test automation of forms in web applications | Fangqi Sun, Mukul R. Prasad, Sreeranga P. Rajan | 2013-09-24 |
| 8468537 | Systems and methods for distributing validation computations | Sreeranga P. Rajan, Indradeep Ghosh, Mukul R. Prasad, Oksana Tkachuk | 2013-06-18 |
| 8365112 | Verification apparatus and design verification program | Ryosuke Oishi, Rafael Kazumiti Morizawa | 2013-01-29 |
| 7275231 | High level validation of designs and products | Sreeranga P. Rajan, Koichiro Takayama | 2007-09-25 |