Inventor

PRASAD MUKUL R

US70 patents

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

PRASAD MUKUL R

FUJITSU LTD

Using symbolic execution to check global temporal requirements in an application

Incremental visual comparison of web browser screens

Representing software with an abstract code graph

System and method for detecting software defects

Estimating the difficulty level of a formal verification problem

System and method for verifying a digital design using dynamic abstraction

Scheduling events in a boolean satisfiability (SAT) solver

Validating one or more circuits using one of more grids

Performing latch mapping of sequential circuits

Automated software program repair

Automated software program repair

Automated software program repair candidate selection

Detection of malicious software behavior using signature-based static analysis

Provisioning virtual optical networks

Crawling for extracting a model of a GUI-based application

Virtual optical network provisioning based on mapping choices and patterns

Generating a test sequence using a satisfiability technique

Automatically generating a pipeline of a new machine learning project from pipelines of existing machine learning projects stored in a corpus

Software program fault localization

Automated software program repair of similar code snippets

Automatic identification of relevant software projects for cross project learning

Machine learning based software program repair

Network verification

Software program repair

Verification of a model of a GUI-based application

Textual similarity based software program repair

Validation of deep neural network (DNN) prediction based on pre-trained classifier

Constructing event sequences in event-driven programs

Generation of software program repair explanations

Automatically curating existing machine learning projects into a corpus adaptable for use in new machine learning projects

Automated candidate repair patch generation

Data-driven synthesis of fix patterns

Unit prediction for custom feature engineering

Automated identification of lines of code related to errors field

Automated searching and identification of software patches

Event-driven software test sequence determination

Generation of explanatory and executable repair examples

Automated software program repair

Extracting a deterministic finite-state machine model of a GUI based application

Verifying one or more properties of a design using SAT-based BMC

PRASAD MUKUL R

Determining differences in an event-driven application accessed in different client-tier environments

Web service for automated cross-browser compatibility checking of web applications

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

Using machine learning to improve detection of visual pairwise differences between browsers

Facilitating automated validation of a web application

Extracting training scenarios from test cases for user-interface component recognition

Client-tier validation of dynamic web applications

Detection of cross-platform differences of web applications

JAIN JAWAHAR

Validating one or more circuits using one or more grids