| Patent | Date |
|---|
Automatic Generation Of Patches For Security Violations
App 20210004470 - Babic; Domagoj ; et al. | 2021-01-07 |
Testing applications with a defined input format
Grant 10,095,610 - Ivancic , et al. October 9, 2 | 2018-10-09 |
Testing Applications With A Defined Input Format
App 20180181486 - Ivancic; Franjo ; et al. | 2018-06-28 |
Testing Applications With A Defined Input Format
App 20180143896 - Ivancic; Franjo ; et al. | 2018-05-24 |
Testing applications with a defined input format
Grant 9,977,729 - Ivancic , et al. May 22, 2 | 2018-05-22 |
Offline queries in software defined networks
Grant 9,736,064 - Zhang , et al. August 15, 2 | 2017-08-15 |
Small Scale Integration Test Generation
App 20160239407 - IVANCIC; Franjo | 2016-08-18 |
Offline Queries In Software Defined Networks
App 20150172185 - Zhang; Hui ; et al. | 2015-06-18 |
Software testing using machine learning
Grant 8,924,938 - Chang , et al. December 30, 2 | 2014-12-30 |
Network Testing
App 20140337674 - Ivancic; Franjo ; et al. | 2014-11-13 |
Effective Lifetime Dependency Analysis and Typestate Analysis
App 20140289712 - Gupta; Aarti ; et al. | 2014-09-25 |
Probabilistic model checking of systems with ranged probabilities
Grant 8,799,194 - Duggirala , et al. August 5, 2 | 2014-08-05 |
Scope bounding with automated specification inference for scalable software model checking
Grant 8,719,793 - Maeda , et al. May 6, 2 | 2014-05-06 |
Donut domains--efficient non-convex domains for abstract interpretation
Grant 8,719,790 - Ghorbal , et al. May 6, 2 | 2014-05-06 |
Interprocedural exception method
Grant 8,719,802 - Maeda , et al. May 6, 2 | 2014-05-06 |
Embedding class hierarchy into object models for multiple class inheritance
Grant 8,707,278 - Balakrishnan , et al. April 22, 2 | 2014-04-22 |
Concurrent Test Generation Using Concolic Multi-trace Analysis
App 20130332906 - Razavi; Niloofar ; et al. | 2013-12-12 |
Systems and methods for model checking the precision of programs employing floating-point operations
Grant 8,539,451 - Ivancic , et al. September 17, 2 | 2013-09-17 |
Integrating interval constraint propagation with nonlinear real arithmetic
Grant 8,538,900 - Ganai , et al. September 17, 2 | 2013-09-17 |
Efficient decision method for real non-linear arithmetic constraints
Grant 8,539,013 - Ganai , et al. September 17, 2 | 2013-09-17 |
Probabilistic Model Checking Of Systems With Ranged Probabilities
App 20130091080 - Duggirala; Parasara Sridhar ; et al. | 2013-04-11 |
Feedback-directed Random Class Unit Test Generation Using Symbolic Execution
App 20130091495 - Garg; Pranav ; et al. | 2013-04-11 |
Program verification through symbolic enumeration of control path programs
Grant 8,402,440 - Sankaranarayanan , et al. March 19, 2 | 2013-03-19 |
System and method for feedback-guided test generation for cyber-physical systems using monte-carlo
Grant 8,374,840 - Sankaranarayanan , et al. February 12, 2 | 2013-02-12 |
Path-sensitive analysis through infeasible-path detection and syntactic language refinement
Grant 8,365,152 - Balakrishnan , et al. January 29, 2 | 2013-01-29 |
Methods and systems for efficient analysis of hybrid systems using template polyhedra
Grant 8,352,222 - Sankaranarayanan , et al. January 8, 2 | 2013-01-08 |
Donut Domains - Efficient Non-convex Domains For Abstract Interpretation
App 20120246626 - GHORBAL; Khalil ; et al. | 2012-09-27 |
Analysis of Interactions of C and C++ Strings
App 20120233584 - Ivancic; Franjo ; et al. | 2012-09-13 |
Scope Bounding with Automated Specification Inference for Scalable Software Model Checking
App 20120151449 - Maeda; Naoto ; et al. | 2012-06-14 |
Mining library specifications using inductive learning
Grant 8,191,045 - Sankaranarayanan , et al. May 29, 2 | 2012-05-29 |
Embedding Class Hierarchy Into Object Models For Multiple Class Inheritance
App 20120117547 - BALAKRISHNAN; GOGUL ; et al. | 2012-05-10 |
Interprocedural Exception Method
App 20120084761 - Maeda; Naoto ; et al. | 2012-04-05 |
Software verification using range analysis
Grant 8,131,532 - Cadambi , et al. March 6, 2 | 2012-03-06 |
System and method for dynamically inferring data preconditions over predicates by tree learning
Grant 8,126,831 - Sankaranarayanan , et al. February 28, 2 | 2012-02-28 |
Program analysis using symbolic ranges
Grant 8,006,239 - Sankaranarayanan , et al. August 23, 2 | 2011-08-23 |
Integrating Interval Constraint Propagation With Nonlinear Real Arithmetic
App 20110173148 - GANAI; MALAY K. ; et al. | 2011-07-14 |
Software verification
Grant 7,930,659 - Ivancic , et al. April 19, 2 | 2011-04-19 |
Robust Testing For Discrete-time And Continuous-time System Models
App 20100299651 - FAINEKOS; GEORGIOS ; et al. | 2010-11-25 |
Systems And Methods For Model Checking The Precision Of Programs Employing Floating-point Operations
App 20100293530 - IVANCIC; FRANJO ; et al. | 2010-11-18 |
Efficient Decision Method For Real Non-linear Arithmetic Constraints
App 20100281086 - GANAI; MALAY K. ; et al. | 2010-11-04 |
System And Method For Feedback-guided Test Generation For Cyber-physical Systems Using Monte-carlo
App 20100094611 - Sankaranarayanan; Sriram ; et al. | 2010-04-15 |
Disjunctive image computation for sequential systems
Grant 7,693,690 - Wang , et al. April 6, 2 | 2010-04-06 |
Feedback-guided Fuzz Testing For Learning Inputs Of Coma
App 20100058475 - Thummalapenta; Suresh ; et al. | 2010-03-04 |
Program Verification Through Symbolic Enumeration Of Control Path Programs
App 20100005454 - Sankaranarayanan; Sriram ; et al. | 2010-01-07 |
System And Method For Dynamically Inferring Data Preconditions Over Predicates By Tree Learning
App 20090192963 - SANKARANARAYANAN; SRIRAM ; et al. | 2009-07-30 |
Path-sensitive Analysis Through Infeasible-path Detection And Syntactic Language Refinement
App 20090193401 - Balakrishnan; Gogul ; et al. | 2009-07-30 |
Methods And Systems For Efficient Analysis Of Hybrid Systems Using Template Polyhedra
App 20090094004 - SANKARANARAYANAN; SRIRAM ; et al. | 2009-04-09 |
Mining Library Specifications Using Inductive Learning
App 20090064110 - SANKARANARAYANAN; SRIRAM ; et al. | 2009-03-05 |
Program Analysis Using Symbolic Ranges
App 20080172653 - SANKARANARAYANAN; Sriram ; et al. | 2008-07-17 |
Software Testing Using Machine Learning
App 20080082968 - Chang; Richard ; et al. | 2008-04-03 |
System and method for modeling, abstraction, and analysis of software
Grant 7,346,486 - Ivancic , et al. March 18, 2 | 2008-03-18 |
Static Analysis In Disjunctive Numerical Domains
App 20070245329 - SANKARANARAYANAN; Sriram ; et al. | 2007-10-18 |
Disjunctive image computation for sequential systems
App 20070044084 - Wang; Chao ; et al. | 2007-02-22 |
Software Verification
App 20060282807 - IVANCIC; Franjo ; et al. | 2006-12-14 |
Software Verification Using Range Analysis
App 20060282806 - CADAMBI; Srihari ; et al. | 2006-12-14 |
System and method for modeling, abstraction, and analysis of software
App 20050166167 - Ivancic, Franjo ; et al. | 2005-07-28 |
| 