| Patent | Date |
|---|
Machine Learning Pipeline Skeleton Instantiation
App 20220269981 - YOSHIDA; Hiroaki ; et al. | 2022-08-25 |
Automatically curating existing machine learning projects into a corpus adaptable for use in new machine learning projects
Grant 11,403,304 - Saha , et al. August 2, 2 | 2022-08-02 |
Automated identification of lines of code related to errors field
Grant 11,366,742 - Mahajan , et al. June 21, 2 | 2022-06-21 |
Automated Identification Of Lines Of Code Related To Errors Field
App 20220156174 - MAHAJAN; Sonal ; et al. | 2022-05-19 |
Automated Generation Of Software Patches
App 20220091963 - MAHAJAN; Sonal ; et al. | 2022-03-24 |
Automatically Recommending An Existing Machine Learning Project As Adaptable For Use In A New Machine Learning Project
App 20220076143 - SAHA; Ripon K. ; et al. | 2022-03-10 |
Automatically Generating A Pipeline Of A New Machine Learning Project From Pipelines Of Existing Machine Learning Projects Stored In A Corpus
App 20220067575 - SAHA; Ripon K. ; et al. | 2022-03-03 |
Automatically Labeling Functional Blocks In Pipelines Of Existing Machine Learning Projects In A Corpus Adaptable For Use In New Machine Learning Projects
App 20220067576 - SAHA; Ripon K. ; et al. | 2022-03-03 |
Automatically Curating Existing Machine Learning Projects Into A Corpus Adaptable For Use In New Machine Learning Projects
App 20220067054 - SAHA; Ripon K. ; et al. | 2022-03-03 |
Automated Identification Of Posts Related To Software Patches
App 20220043738 - MAHAJAN; Sonal ; et al. | 2022-02-10 |
Learning String Edit Actions From Repair Examples Of Software Programs
App 20210303272 - YOSHIDA; Hiroaki ; et al. | 2021-09-30 |
Validation Of Deep Neural Network (dnn) Prediction Based On Pre-trained Classifier
App 20210303986 - SAHA; Ripon K. ; et al. | 2021-09-30 |
Parsability of code snippets
Grant 11,119,740 - Mahajan , et al. September 14, 2 | 2021-09-14 |
Automated software program repair
Grant 11,119,889 - Yoshida , et al. September 14, 2 | 2021-09-14 |
Generation of software program repair examples
Grant 11,099,817 - Yoshida , et al. August 24, 2 | 2021-08-24 |
Parsability Of Code Snippets
App 20210208857 - MAHAJAN; Sonal ; et al. | 2021-07-08 |
Automated searching and identification of software patches
Grant 11,042,467 - Mahajan , et al. June 22, 2 | 2021-06-22 |
Generation of explanatory and executable repair examples
Grant 10,997,056 - Yoshida , et al. May 4, 2 | 2021-05-04 |
Generation Of Explanatory And Executable Repair Examples
App 20210109842 - YOSHIDA; Hiroaki ; et al. | 2021-04-15 |
Automated Searching And Identification Of Software Patches
App 20210056006 - MAHAJAN; Sonal ; et al. | 2021-02-25 |
Automated candidate repair patch generation
Grant 10,853,051 - Saha , et al. December 1, 2 | 2020-12-01 |
Training Time Reduction In Automatic Data Augmentation
App 20200349425 - SAHA; Ripon K. ; et al. | 2020-11-05 |
Automated software program repair
Grant 10,761,962 - Yoshida , et al. Sep | 2020-09-01 |
Identification of software program fault locations
Grant 10,761,961 - Saha , et al. Sep | 2020-09-01 |
Automated Software Program Repair
App 20200257613 - A1 | 2020-08-13 |
Automated Candidate Repair Patch Generation
App 20200249929 - Kind Code | 2020-08-06 |
Data-driven synthesis of fix patterns
Grant 10,733,075 - Bavishi , et al. | 2020-08-04 |
Collection of forwarding rules
Grant 10,728,147 - Horn , et al. | 2020-07-28 |
Identification Of Software Program Fault Locations
App 20200201741 - SAHA; Ripon K. ; et al. | 2020-06-25 |
Network property verification
Grant 10,693,744 - Horn , et al. | 2020-06-23 |
Software program fault localization
Grant 10,678,673 - Saha , et al. | 2020-06-09 |
Automated software program repair of similar code snippets
Grant 10,664,383 - Saha , et al. | 2020-05-26 |
Automated software program repair
Grant 10,642,716 - Yoshida , et al. | 2020-05-05 |
Representing software with an abstract code graph
Grant 10,606,570 - Yoshida , et al. | 2020-03-31 |
Collection Of Forwarding Rules
App 20200084145 - Horn; Alexander ; et al. | 2020-03-12 |
System And Method Of Measuring The Robustness Of A Deep Neural Network
App 20200065664 - SAHA; Ripon K. ; et al. | 2020-02-27 |
Data-driven Synthesis Of Fix Patterns
App 20200065219 - BAVISHI; Rohan ; et al. | 2020-02-27 |
Automated Software Program Repair Of Similar Code Snippets
App 20200065226 - SAHA; Ripon K. ; et al. | 2020-02-27 |
Automatic identification of relevant software projects for cross project learning
Grant 10,521,224 - Saha , et al. Dec | 2019-12-31 |
Automated software program repair candidate selection
Grant 10,496,459 - Yoshida , et al. De | 2019-12-03 |
Method invocation synthesis for software program repair
Grant 10,496,519 - Saha , et al. De | 2019-12-03 |
Network property verification in hybrid networks
Grant 10,462,017 - Horn , et al. Oc | 2019-10-29 |
Representing Software With An Abstract Code Graph
App 20190278572 - YOSHIDA; Hiroaki ; et al. | 2019-09-12 |
Automatic Identification Of Relevant Software Projects For Cross Project Learning
App 20190265970 - SAHA; Ripon K. ; et al. | 2019-08-29 |
Automatically extracting a model for the behavior of a mobile application
Grant 10,360,027 - Prasad , et al. | 2019-07-23 |
Network property verification
Grant 10,355,985 - Horn , et al. July 16, 2 | 2019-07-16 |
Automated Software Program Repair Candidate Selection
App 20190163619 - YOSHIDA; Hiroaki ; et al. | 2019-05-30 |
Automated software program repair
Grant 10,296,447 - Yoshida , et al. | 2019-05-21 |
Network Property Verification
App 20190132216 - HORN; Alexander ; et al. | 2019-05-02 |
Interactive software program repair
Grant 10,268,572 - Prasad , et al. | 2019-04-23 |
Network Property Verification In Hybrid Networks
App 20190116112 - HORN; Alexander ; et al. | 2019-04-18 |
Interactive Software Program Repair
App 20190042398 - PRASAD; Mukul R. ; et al. | 2019-02-07 |
Software Program Fault Localization
App 20190018753 - SAHA; Ripon K. ; et al. | 2019-01-17 |
Automated software program repair
Grant 10,180,897 - Yoshida , et al. Ja | 2019-01-15 |
Event-driven software test sequence determination
Grant 10,176,086 - Rogalla , et al. J | 2019-01-08 |
Software program repair
Grant 10,152,406 - Yoshida , et al. Dec | 2018-12-11 |
Textual similarity based software program repair
Grant 10,133,657 - Yoshida , et al. November 20, 2 | 2018-11-20 |
Verification of a model of a GUI-based application
Grant 10,078,502 - Prasad , et al. September 18, 2 | 2018-09-18 |
Method Invocation Synthesis For Software Program Repair
App 20180239687 - SAHA; Ripon K. ; et al. | 2018-08-23 |
Network verification
Grant 10,057,166 - Horn , et al. August 21, 2 | 2018-08-21 |
Network Property Verification
App 20180212870 - HORN; Alex ; et al. | 2018-07-26 |
Automated Software Program Repair
App 20180165182 - YOSHIDA; Hiroaki ; et al. | 2018-06-14 |
Event-driven Software Test Sequence Determination
App 20180095865 - ROGALLA; Martin J. ; et al. | 2018-04-05 |
Automated Software Program Repair
App 20180089065 - YOSHIDA; Hiroaki ; et al. | 2018-03-29 |
Network Verification
App 20180077061 - HORN; Alexander ; et al. | 2018-03-15 |
Machine learning based software program repair
Grant 9,846,637 - Yoshida , et al. December 19, 2 | 2017-12-19 |
Detection of malicious software behavior using signature-based static analysis
Grant 9,779,239 - Prasad , et al. October 3, 2 | 2017-10-03 |
Provisioning virtual optical networks
Grant 9,755,893 - Wang , et al. September 5, 2 | 2017-09-05 |
Textual Similarity Based Software Program Repair
App 20170242782 - YOSHIDA; Hiroaki ; et al. | 2017-08-24 |
Provisioning virtual optical networks
Grant 9,735,873 - Ghosh , et al. August 15, 2 | 2017-08-15 |
Extracting a deterministic finite-state machine model of a GUI based application
Grant 9,733,782 - Prasad August 15, 2 | 2017-08-15 |
Machine Learning Based Software Program Repair
App 20170161182 - YOSHIDA; Hiroaki ; et al. | 2017-06-08 |
Crawling for extracting a model of a GUI-based application
Grant 9,652,360 - Prasad May 16, 2 | 2017-05-16 |
Scalable provisioning of virtual optical network demands
Grant 9,614,731 - Prasad , et al. April 4, 2 | 2017-04-04 |
Software Program Repair
App 20170060735 - YOSHIDA; Hiroaki ; et al. | 2017-03-02 |
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 |
Detection Of Malicious Software Behavior Using Signature-based Static Analysis
App 20160267271 - PRASAD; Mukul R. ; et al. | 2016-09-15 |
Detection of cross-platform differences of web applications
Grant 9,418,173 - Prasad August 16, 2 | 2016-08-16 |
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 |
Virtual Optical Network Provisioning Based On Mapping Choices And Patterns
App 20160087846 - Prasad; Mukul R. ; et al. | 2016-03-24 |
Verification Of A Model Of A Gui-based Application
App 20150370541 - PRASAD; Mukul R. ; et al. | 2015-12-24 |
Crawling For Extracting A Model Of A Gui-based Application
App 20150286355 - PRASAD; Mukul R. | 2015-10-08 |
Determining differences in an event-driven application accessed in different client-tier environments
Grant 9,032,067 - Prasad , et al. May 12, 2 | 2015-05-12 |
Software regression testing using symbolic execution
Grant 9,021,449 - Wiggers , et al. April 28, 2 | 2015-04-28 |
Symbolic testing of software using concrete software execution
Grant 8,997,064 - Prasad , et al. March 31, 2 | 2015-03-31 |
Extracting A Deterministic Finite-state Machine Model Of A Gui Based Application
App 20150082207 - PRASAD; Mukul R. | 2015-03-19 |
Detection of dead widgets in software applications
Grant 8,880,951 - Prasad November 4, 2 | 2014-11-04 |
Automatic Feature-driven Testing And Quality Checking Of Applications
App 20140298297 - Prasad; Mukul R. ; et al. | 2014-10-02 |
Using machine learning to improve detection of visual pairwise differences between browsers
Grant 8,805,094 - Prasad , et al. August 12, 2 | 2014-08-12 |
Constructing event sequences in event-driven programs
Grant 8,683,494 - Prasad , et al. March 25, 2 | 2014-03-25 |
Detection Of Cross-platform Differences Of Web Applications
App 20140052821 - PRASAD; Mukul R. | 2014-02-20 |
Automatically Extracting A Model For The Behavior Of A Mobile Application
App 20140052433 - PRASAD; Mukul R. ; et al. | 2014-02-20 |
Software Regression Testing Using Symbolic Execution
App 20140053134 - WIGGERS; Maarten H. ; et al. | 2014-02-20 |
Symbolic Testing Of Software Using Concrete Software Execution
App 20140053139 - PRASAD; Mukul R. ; et al. | 2014-02-20 |
Detection of Dead Widgets in Software Applications
App 20130268810 - Prasad; Mukul R. | 2013-10-10 |
Extracting training scenarios from test cases for user-interface component recognition
Grant 8,504,998 - Prasad August 6, 2 | 2013-08-06 |
Generating software application user-input data through analysis of client-tier source code
Grant 8,479,170 - Prasad , et al. July 2, 2 | 2013-07-02 |
Using Machine Learning to Improve Visual Comparison
App 20130083996 - Prasad; Mukul R. ; et al. | 2013-04-04 |
Incremental visual comparison of web browser screens
Grant 8,381,094 - Prasad , et al. February 19, 2 | 2013-02-19 |
Using symbolic execution to check global temporal requirements in an application
Grant 8,359,576 - Prasad , et al. January 22, 2 | 2013-01-22 |
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 |
Client-tier validation of dynamic web applications
Grant 8,255,384 - Prasad , et al. August 28, 2 | 2012-08-28 |
Web Service for Automated Cross-Browser Compatibility Checking of Web Applications
App 20120210236 - PRASAD; Mukul R. | 2012-08-16 |
Validating one or more circuits using one or more grids
Grant 8,181,132 - Jain , et al. May 15, 2 | 2012-05-15 |
Extracting Training Scenarios from Test Cases for User-Interface Component Recognition
App 20110296314 - Prasad; Mukul R. | 2011-12-01 |
Generating Software Application User-Input Data Through Analysis of Client-Tier Source Code
App 20110283147 - Prasad; Mukul R. ; et al. | 2011-11-17 |
Facilitating Automated Validation of a Web Application
App 20110239104 - Prasad; Mukul R. ; et al. | 2011-09-29 |
Determining Differences in an Event-Driven Application Accessed in Different Client-Tier Environments
App 20110225289 - Prasad; Mukul R. ; et al. | 2011-09-15 |
Client-tier Validation Of Dynamic Web Applications
App 20110078556 - Prasad; Mukul R. ; et al. | 2011-03-31 |
Verifying one or more properties of a design using SAT-based BMC
Grant 7,743,350 - Prasad June 22, 2 | 2010-06-22 |
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 |
Validating One or More Circuits Using One or More Grids
App 20090210212 - Jain; Jawahar ; et al. | 2009-08-20 |
Validating one or more circuits using one of more grids
Grant 7,546,563 - Jain , et al. June 9, 2 | 2009-06-09 |
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 |
Validating one or more circuits using one or more grids
App 20080072190 - Jain; Jawahar ; et al. | 2008-03-20 |
System and method for verifying a digital design using dynamic abstraction
Grant 7,290,230 - Prasad October 30, 2 | 2007-10-30 |
Scheduling events in a boolean satisfiability (SAT) solver
Grant 7,194,710 - Prasad , et al. March 20, 2 | 2007-03-20 |
Estimating the difficulty level of a formal verification problem
App 20070022394 - Ghosh; Indradeep ; et al. | 2007-01-25 |
System and method for verifying a digital design using dynamic abstraction
App 20060212837 - Prasad; Mukul R. | 2006-09-21 |
Generating a test sequence using a satisfiability technique
Grant 7,076,712 - Prasad , et al. July 11, 2 | 2006-07-11 |
Performing latch mapping of sequential circuits
Grant 7,032,192 - Prasad , et al. April 18, 2 | 2006-04-18 |
Verifying one or more properties of a design using SAT-based BMC
App 20050262456 - Prasad, Mukul R. | 2005-11-24 |
Scheduling events in a boolean satisfiability (SAT) solver
App 20050216871 - Prasad, Mukul R. ; et al. | 2005-09-29 |
Performing latch mapping of sequential circuits
App 20040237057 - Prasad, Mukul R. ; et al. | 2004-11-25 |
Generating a test sequence using a satisfiability technique
App 20040237012 - Prasad, Mukul R. ; et al. | 2004-11-25 |
| 