Inventor

GHOSH INDRADEEP

US50 patents

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

GHOSH INDRADEEP

FUJITSU LTD

Using symbolic execution to check global temporal requirements in an application

System and method for detecting software defects

Estimating the difficulty level of a formal verification problem

Propagating an error through a network

Provisioning virtual optical networks

Virtual optical network provisioning based on mapping choices and patterns

Network node clustering

Network node clustering

Symbolic execution with automatic abstractions

Evaluating a validation vector for validating a network design

Automatic test pattern generation for functional register transfer level circuits using assignment decision diagrams

Event-driven observability enhanced coverage analysis

Route generation for vehicle routing problem and variants thereof

Test size reduction using don&#39;t care analysis

Event sequence construction of event-driven software by combinational computations

Mixed numeric and string constraint analysis

Generating a test environment for validating a network design

Data clustering

Vehicle routing problem (VRP) solution using annealer-based solvers

Event-driven software testing

Provisioning virtual optical networks

Scalable provisioning of virtual optical network demands

Parameterized states in symbolic execution for software testing

Identification of software program fault locations

Interactive software program repair

GHOSH INDRADEEP

Generating test sets using intelligent variable selection and test set compaction

Solving hybrid constraints to validate specification requirements of a software module

Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver

Technique for efficient parallelization of software analysis in a distributed computing environment through intelligent dynamic load balancing

Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environment

Efficient partial execution for the parallelization of software analysis in a distributed computing environment

Scheduling policy for efficient parallelization of software analysis in a distributed computing environment

Node computation initialization technique for efficient parallelization of software analysis in a distributed computing environment

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

RAJAN SREERANGA P

Providing software validation as a service

System and method for comparing software frameworks

Systems and methods for distributing validation computations

AGERE SYST GUARDIAN CORP

Method for implementing a bist scheme into integrated circuits for testing RTL controller-data paths in the integrated circuits

SONG ZHEXUAN

Measure energy consumption and determine energy-consumption patterns for electricity-consuming devices

PRASAD MUKUL R

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

TKACHUK OKSANA

Environment data refinement based on static analysis and symbolic execution

FUJISTU LTD

Abstract symbolic execution for scaling symbolic execution generation and automatic test generation

HELION CONCEPTS INC

Hardware/software reconfigurable, intelligent and versatile electrical energy provisioning system for on-grid and off-grid applications

WIGGERS MAARTEN

Iterative generation of symbolic test drivers for object-oriented languages

WIGGERS MAARTEN H

Software regression testing using symbolic execution

Test size reduction using don't care analysis