Patent | Date |
---|
Network Node Clustering App 20220159549 - USHIJIMA-MWESIGWA; Hayato ;   et al. | 2022-05-19 |
Production planning using optimization solver machines App 20220122006 - GHOSH; Indradeep ;   et al. | 2022-04-21 |
Data Clustering App 20220083567 - MALIK; Osman Asif ;   et al. | 2022-03-17 |
Network node clustering Grant 11,165,646 - Ushijima-Mwesigwa , et al. November 2, 2 | 2021-11-02 |
Hardware/software reconfigurable, intelligent and versatile electrical energy provisioning system for on-grid and off-grid applications Grant 10,938,224 - Krishnamoorthy , et al. March 2, 2 | 2021-03-02 |
Training Time Reduction In Automatic Data Augmentation App 20200349425 - SAHA; Ripon K. ;   et al. | 2020-11-05 |
Identification of software program fault locations Grant 10,761,961 - Saha , et al. Sep | 2020-09-01 |
Identification Of Software Program Fault Locations App 20200201741 - SAHA; Ripon K. ;   et al. | 2020-06-25 |
Interactive software program repair Grant 10,268,572 - Prasad , et al. | 2019-04-23 |
Interactive Software Program Repair App 20190042398 - PRASAD; Mukul R. ;   et al. | 2019-02-07 |
Hardware/software Reconfigurable, Intelligent And Versatile Electrical Energy Provisioning System For On-grid And Off-grid Applications App 20180054070 - Krishnamoorthy; Sudarshan ;   et al. | 2018-02-22 |
Event-driven software testing Grant 9,892,027 - Li , et al. February 13, 2 | 2018-02-13 |
Test size reduction using don't care analysis Grant 9,767,412 - Yoshida , et al. September 19, 2 | 2017-09-19 |
Provisioning virtual optical networks Grant 9,755,893 - Wang , et al. September 5, 2 | 2017-09-05 |
Provisioning virtual optical networks Grant 9,735,873 - Ghosh , et al. August 15, 2 | 2017-08-15 |
Scalable provisioning of virtual optical network demands Grant 9,614,731 - Prasad , et al. April 4, 2 | 2017-04-04 |
Scalable Provisioning Of Virtual Optical Network Demands App 20170005869 - PRASAD; Mukul R. ;   et al. | 2017-01-05 |
Virtual optical network provisioning based on mapping choices and patterns Grant 9,531,599 - Prasad , et al. December 27, 2 | 2016-12-27 |
Satisfiability checking Grant 9,501,331 - Li , et al. November 22, 2 | 2016-11-22 |
Parameterized states in symbolic execution for software testing Grant 9,483,380 - Li , et al. November 1, 2 | 2016-11-01 |
System and method for comparing software frameworks Grant 9,477,928 - Rajan , et al. October 25, 2 | 2016-10-25 |
Provisioning Virtual Optical Networks App 20160234061 - WANG; Qianqian ;   et al. | 2016-08-11 |
Provisioning Virtual Optical Networks App 20160234062 - GHOSH; Indradeep ;   et al. | 2016-08-11 |
Event Sequence Construction Of Event-driven Software By Combinational Computations App 20160140016 - LI; Guodong ;   et al. | 2016-05-19 |
Virtual Optical Network Provisioning Based On Mapping Choices And Patterns App 20160087846 - Prasad; Mukul R. ;   et al. | 2016-03-24 |
Test Size Reduction Using Don't Care Analysis App 20160071012 - YOSHIDA; Hiroaki ;   et al. | 2016-03-10 |
Event-driven Software Testing App 20160011959 - LI; Guodong ;   et al. | 2016-01-14 |
Parameterized States In Symbolic Execution For Software Testing App 20150293831 - Li; Guodong ;   et al. | 2015-10-15 |
Symbolic execution with automatic abstractions Grant 9,152,543 - Li , et al. October 6, 2 | 2015-10-06 |
Iterative generation of symbolic test drivers for object-oriented languages Grant 9,058,427 - Wiggers , et al. June 16, 2 | 2015-06-16 |
Symbolic execution and automatic test case generation for JavaScript programs Grant 9,038,032 - Li , et al. May 19, 2 | 2015-05-19 |
Software regression testing using symbolic execution Grant 9,021,449 - Wiggers , et al. April 28, 2 | 2015-04-28 |
Mixed numeric and string constraint analysis Grant 8,996,922 - Li , et al. March 31, 2 | 2015-03-31 |
Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver Grant 8,972,949 - Ghosh , et al. March 3, 2 | 2015-03-03 |
Optimizing libraries for validating C++ programs using symbolic execution Grant 8,943,487 - Li , et al. January 27, 2 | 2015-01-27 |
Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environment Grant 8,914,775 - Ghosh , et al. December 16, 2 | 2014-12-16 |
Software architecture for validating C++ programs using symbolic execution Grant 8,869,113 - Li , et al. October 21, 2 | 2014-10-21 |
Abstract symbolic execution for scaling symbolic execution generation and automatic test generation Grant 8,856,751 - Li , et al. October 7, 2 | 2014-10-07 |
Scheduling policy for efficient parallelization of software analysis in a distributed computing environment Grant 8,789,054 - Ghosh , et al. July 22, 2 | 2014-07-22 |
Node computation initialization technique for efficient parallelization of software analysis in a distributed computing environment Grant 8,769,500 - Ghosh , et al. July 1, 2 | 2014-07-01 |
Technique for efficient parallelization of software analysis in a distributed computing environment through intelligent dynamic load balancing Grant 8,763,001 - Ghosh , et al. June 24, 2 | 2014-06-24 |
Mixed Numeric And String Constraint Analysis App 20140143604 - LI; Guodong ;   et al. | 2014-05-22 |
Symbolic Execution Of Dynamic Programming Languages App 20140143762 - LI; Guodong ;   et al. | 2014-05-22 |
Abstract Symbolic Execution For Scaling Symbolic Execution Generation And Automatic Test Generation App 20140082594 - Li; Guodong ;   et al. | 2014-03-20 |
Software Regression Testing Using Symbolic Execution App 20140053134 - WIGGERS; Maarten H. ;   et al. | 2014-02-20 |
Satisfiability Checking App 20140047217 - LI; Guodong ;   et al. | 2014-02-13 |
Lossless path reduction for efficient symbolic execution and automatic test generation Grant 8,645,924 - Li , et al. February 4, 2 | 2014-02-04 |
Iterative Generation of Symbolic Test Drivers for Object-Oriented Languages App 20140019939 - Wiggers; Maarten ;   et al. | 2014-01-16 |
Rule-based Method For Proving Unsatisfiable Conditions In A Mixed Numeric And String Solver App 20130326485 - Ghosh; Indradeep ;   et al. | 2013-12-05 |
Symbolic Execution And Automatic Test Case Generation For Javascript Programs App 20130318503 - Li; Guodong ;   et al. | 2013-11-28 |
Symbolic execution and test generation for GPU programs Grant 8,595,701 - Li , et al. November 26, 2 | 2013-11-26 |
Solving hybrid constraints to validate specification requirements of a software module Grant 8,572,574 - Ghosh , et al. October 29, 2 | 2013-10-29 |
Efficient partial execution for the parallelization of software analysis in a distributed computing environment Grant 8,539,500 - Ghosh , et al. September 17, 2 | 2013-09-17 |
Environment data refinement based on static analysis and symbolic execution Grant 8,504,997 - Tkachuk , et al. August 6, 2 | 2013-08-06 |
Generating test sets using intelligent variable selection and test set compaction Grant 8,479,171 - Ghosh July 2, 2 | 2013-07-02 |
Systems and methods for distributing validation computations Grant 8,468,537 - Rajan , et al. June 18, 2 | 2013-06-18 |
Providing software validation as a service Grant 8,453,117 - Rajan , et al. May 28, 2 | 2013-05-28 |
Measure energy consumption and determine energy-consumption patterns for electricity-consuming devices Grant 8,396,686 - Song , et al. March 12, 2 | 2013-03-12 |
Using symbolic execution to check global temporal requirements in an application Grant 8,359,576 - Prasad , et al. January 22, 2 | 2013-01-22 |
Lossless Path Reduction for Efficient Symbolic Execution and Automatic Test Generation App 20120311545 - Li; Guodong ;   et al. | 2012-12-06 |
Measure Energy Consumption and Determine Energy-Consumption Patterns for Electricity-Consuming Devices App 20120265357 - Song; Zhexuan ;   et al. | 2012-10-18 |
System and method for providing middleware for capture of global requirements and validation for web applications Grant 8,271,953 - Prasad , et al. September 18, 2 | 2012-09-18 |
Symbolic Execution and Test Generation for GPU Programs App 20120204154 - Li; Guodong ;   et al. | 2012-08-09 |
Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution App 20120192162 - Li; Guodong ;   et al. | 2012-07-26 |
Optimizing Libraries for Validating C++ Programs Using Symbolic Execution App 20120192169 - Li; Guodong ;   et al. | 2012-07-26 |
Software Architecture for Validating C++ Programs Using Symbolic Execution App 20120192150 - LI; Guodong ;   et al. | 2012-07-26 |
Node Computation Initialization Technique For Efficient Parallelization Of Software Analysis In A Distributed Computing Environment App 20120110550 - Ghosh; Indradeep ;   et al. | 2012-05-03 |
Scheduling Policy For Efficient Parallelization Of Software Analysis In A Distributed Computing Environment App 20120110591 - Ghosh; Indradeep ;   et al. | 2012-05-03 |
Technique For Efficient Parallelization Of Software Analysis In A Distributed Computing Environment Through Intelligent Dynamic Load Balancing App 20120110589 - Ghosh; Indradeep ;   et al. | 2012-05-03 |
Efficient Partial Computation For The Parallelization Of Software Analysis In A Distributed Computing Environment App 20120110590 - Ghosh; Indradeep ;   et al. | 2012-05-03 |
Dynamic And Intelligent Partial Computation Management For Efficient Parallelization Of Software Analysis In A Distributed Computing Environment App 20120110580 - Ghosh; Indradeep ;   et al. | 2012-05-03 |
System and Method for Comparing Software Frameworks App 20120017201 - Rajan; Sreeranga P. ;   et al. | 2012-01-19 |
Solving Hybrid Constraints to Generate Test Cases for Validating a Software Module App 20120017119 - Ghosh; Indradeep ;   et al. | 2012-01-19 |
Solving Hybrid Constraints to Validate a Security Software Module for Detecting Injection Attacks App 20120017200 - Ghosh; Indradeep ;   et al. | 2012-01-19 |
Solving Hybrid Constraints to Validate Specification Requirements of a Software Module App 20120017117 - Ghosh; Indradeep ;   et al. | 2012-01-19 |
Systems and Methods for Distributing Validation Computations App 20120017220 - Rajan; Sreeranga P. ;   et al. | 2012-01-19 |
Generating Test Sets Using Intelligent Variable Selection and Test Set Compaction App 20110289488 - Ghosh; Indradeep | 2011-11-24 |
Providing Software Validation as a Service App 20110225568 - Rajan; Sreeranga P. ;   et al. | 2011-09-15 |
Environment Data Refinement Based on Static Analysis and Symbolic Execution App 20100242029 - Tkachuk; Oksana ;   et al. | 2010-09-23 |
Efficient Symbolic Execution Of Software Using Static Analysis App 20100223599 - Ghosh; Indradeep ;   et al. | 2010-09-02 |
Using Symbolic Execution to Check Global Temporal Requirements in an Application App 20100125832 - Prasad; Mukul R. ;   et al. | 2010-05-20 |
System and method for detecting software defects Grant 7,685,471 - Rajan , et al. March 23, 2 | 2010-03-23 |
System and Method for Providing Middleware for Capture of Global Requirements and Validation for Web Applications App 20090235235 - Prasad; Mukul R. ;   et al. | 2009-09-17 |
System and Method for Providing Symbolic Execution Engine for Validating Web Applications App 20090089759 - Rajan; Sreeranga P. ;   et al. | 2009-04-02 |
Configurable Web Services System and a Method to Detect Defects in Software Applications App 20090089757 - Rajan; Sreeranga P. ;   et al. | 2009-04-02 |
Estimating the difficulty level of a formal verification problem Grant 7,458,046 - Ghosh , et al. November 25, 2 | 2008-11-25 |
System and Method for Detecting Software Defects App 20080189686 - Rajan; Sreeranga P. ;   et al. | 2008-08-07 |
Event-driven observability enhanced coverage analysis Grant 7,210,128 - Fallah , et al. April 24, 2 | 2007-04-24 |
Estimating the difficulty level of a formal verification problem App 20070022394 - Ghosh; Indradeep ;   et al. | 2007-01-25 |
Propagating an error through a network Grant 7,168,014 - Ghosh , et al. January 23, 2 | 2007-01-23 |
Generating a test environment for validating a network design Grant 7,139,929 - Ghosh , et al. November 21, 2 | 2006-11-21 |
Evaluating a validation vector for validating a network design Grant 6,877,141 - Ghosh , et al. April 5, 2 | 2005-04-05 |
Automatic test pattern generation for functional register transfer level circuits using assignment decision diagrams Grant 6,823,486 - Ghosh November 23, 2 | 2004-11-23 |
Evaluating a validation vector for validating a network design App 20040199881 - Ghosh, Indradeep ;   et al. | 2004-10-07 |
Generating a test environment for validating a network design App 20040199807 - Ghosh, Indradeep ;   et al. | 2004-10-07 |
Propagating an error through a network App 20040199836 - Ghosh, Indradeep ;   et al. | 2004-10-07 |
Event-driven observability enhanced coverage analysis App 20040073892 - Fallah, Farzan ;   et al. | 2004-04-15 |
Method of strategic planning App 20030149610 - Rowan, Christopher G. ;   et al. | 2003-08-07 |
Method for implementing a bist scheme into integrated circuits for testing RTL controller-data paths in the integrated circuits Grant 6,463,560 - Bhawmik , et al. October 8, 2 | 2002-10-08 |
Automatic test pattern generation for functional register transfer level circuits using assignment decision diagrams App 20020032889 - Ghosh, Indradeep | 2002-03-14 |