Issued Patents All Time
Showing 1–25 of 37 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9501331 | Satisfiability checking | Guodong Li, Indradeep Ghosh | 2016-11-22 |
| 9477928 | System and method for comparing software frameworks | Indradeep Ghosh | 2016-10-25 |
| 9104809 | Facilitating automated validation of a web application | Mukul R. Prasad | 2015-08-11 |
| 9038032 | Symbolic execution and automatic test case generation for JavaScript programs | Guodong Li, Praveen K. Murthy, Indradeep Ghosh | 2015-05-19 |
| 8943487 | Optimizing libraries for validating C++ programs using symbolic execution | Guodong Li, Indradeep Ghosh | 2015-01-27 |
| 8869113 | Software architecture for validating C++ programs using symbolic execution | Guodong Li, Indradeep Ghosh | 2014-10-21 |
| 8856751 | Abstract symbolic execution for scaling symbolic execution generation and automatic test generation | Guodong Li, Indradeep Ghosh | 2014-10-07 |
| 8683316 | Method and apparatus for providing auto-registration and service access to internet sites for internet portal subscribers | Anand Rangarajan, Ji Hoon Lee, Suman Kumar Inala, Ramakrishna Satyavolu | 2014-03-25 |
| 8656370 | Symbolic execution of javascript software using a control flow graph | Praveen K. Murthy | 2014-02-18 |
| 8645924 | Lossless path reduction for efficient symbolic execution and automatic test generation | Guodong Li, Indradeep Ghosh | 2014-02-04 |
| 8595701 | Symbolic execution and test generation for GPU programs | Guodong Li, Indradeep Ghosh | 2013-11-26 |
| 8543986 | Methods and systems for test automation of forms in web applications | Praveen K. Murthy, Fangqi Sun, Mukul R. Prasad | 2013-09-24 |
| 8504997 | Environment data refinement based on static analysis and symbolic execution | Oksana Tkachuk, Indradeep Ghosh | 2013-08-06 |
| 8479170 | Generating software application user-input data through analysis of client-tier source code | Mukul R. Prasad | 2013-07-02 |
| 8468537 | Systems and methods for distributing validation computations | Praveen K. Murthy, Indradeep Ghosh, Mukul R. Prasad, Oksana Tkachuk | 2013-06-18 |
| 8453117 | Providing software validation as a service | Mukul R. Prasad, Oksana Tkachuk, Indradeep Ghosh | 2013-05-28 |
| 8402319 | Method and system to extract a navigation model for analysis of a web application | Oksana Tkachuk | 2013-03-19 |
| 8359576 | Using symbolic execution to check global temporal requirements in an application | Mukul R. Prasad, Indradeep Ghosh | 2013-01-22 |
| 8347320 | Generating a driver for analysis of an event-driven application | Oksana Tkachuk | 2013-01-01 |
| 8271953 | System and method for providing middleware for capture of global requirements and validation for web applications | Mukul R. Prasad, Indradeep Ghosh | 2012-09-18 |
| 8255384 | Client-tier validation of dynamic web applications | Mukul R. Prasad | 2012-08-28 |
| 8190629 | Network-based bookmark management and web-summary system | Jonathan Wu | 2012-05-29 |
| 7685471 | System and method for detecting software defects | Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh | 2010-03-23 |
| 7424520 | Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances | Neil Daswani, Suman Kumar Inala, Ramakrishna Satyavolu, P. Venkat Rangan | 2008-09-09 |
| 7283945 | High level verification of software and hardware descriptions by symbolic simulation using assume-guarantee relationships with linear arithmetic assumptions | — | 2007-10-16 |