Inventor

RAJAN SREERANGA P

US35 patents

⚠️ This page may combine multiple inventors who share the name “RAJAN SREERANGA P”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

RAJAN SREERANGA P

LI GUODONG

Symbolic execution and test generation for GPU programs

Software architecture for validating C++ programs using symbolic execution

Lossless path reduction for efficient symbolic execution and automatic test generation

Optimizing libraries for validating C++ programs using symbolic execution

Symbolic execution and automatic test case generation for JavaScript programs

Satisfiability checking

YODLEE INC

Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interface

Method and apparatus for providing calculated and solution-oriented personalized summary-reports to a user through a single user-interface

Method and apparatus for extending an on-line internet search beyond pre-referenced sources and returning data over a data-packet-network (DPN) using private search engines as proxy-engines

System for completing a multi-component task initiated by a client involving Web sites without requiring interaction from the client

Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances

FUJITSU LTD

Using symbolic execution to check global temporal requirements in an application

High level verification of software and hardware descriptions by symbolic simulation using assume-guarantee relationships with linear arithmetic assumptions

System and method for detecting software defects

High level validation of designs and products

Generating a driver for analysis of an event-driven application

YODLEE COM

Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances

Method and apparatus for restructuring of personalized data for transmission from a data network to connected and portable network appliances

Network-based bookmark management and web-summary system

Method and apparatus for retrieving information from semi-structured, web-based data sources

PRASAD MUKUL R

Generating software application user-input data through analysis of client-tier source code

System and method for providing middleware for capture of global requirements and validation for web applications

Facilitating automated validation of a web application

Client-tier validation of dynamic web applications

RAJAN SREERANGA P

Providing software validation as a service

System and method for comparing software frameworks

Systems and methods for distributing validation computations

LSI LOGIC CORP

Methodology for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic specifications and descriptions thereof

ECAD system for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic descriptions thereof

MURTHY PRAVEEN K

Methods and systems for test automation of forms in web applications

Symbolic execution of javascript software using a control flow graph

TKACHUK OKSANA

Environment data refinement based on static analysis and symbolic execution

Method and system to extract a navigation model for analysis of a web application

WU JONATHAN

Network-based bookmark management and web-summary system

RANGARAJAN ANAND

Method and apparatus for providing auto-registration and service access to internet sites for internet portal subscribers