| Patent | Date |
|---|
Simulating black box test results using information from white box testing
Grant 9,747,187 - Fink , et al. August 29, 2 | 2017-08-29 |
Simulating black box test results using information from white box testing
Grant 9,720,798 - Fink , et al. August 1, 2 | 2017-08-01 |
Automated testing of applications with scripting code
Grant 9,135,147 - Artzi , et al. September 15, 2 | 2015-09-15 |
Fault localization using condition modeling and return value modeling
Grant 9,043,761 - Artzi , et al. May 26, 2 | 2015-05-26 |
Fault detection and localization in dynamic software applications
Grant 8,943,478 - Artzi , et al. January 27, 2 | 2015-01-27 |
Refactoring programs for flexible locking
Grant 8,869,127 - Dolby , et al. October 21, 2 | 2014-10-21 |
Scalable property-sensitive points-to analysis for program code
Grant 8,694,971 - Chandra , et al. April 8, 2 | 2014-04-08 |
Correct refactoring of concurrent software
Grant 8,689,191 - Dolby , et al. April 1, 2 | 2014-04-01 |
Fault detection and localization in dynamic software applications requiring user inputs and persistent states
Grant 8,578,342 - Artzi , et al. November 5, 2 | 2013-11-05 |
Automated Testing Of Applications With Scripting Code
App 20130290786 - ARTZI; Shay ; et al. | 2013-10-31 |
Declarative object identity using relation types
Grant 8,527,946 - Vaziri-Farahani , et al. September 3, 2 | 2013-09-03 |
Detecting and localizing security vulnerabilities in client-server application
Grant 8,516,449 - Artzi , et al. August 20, 2 | 2013-08-20 |
Generating inputs for client-server programs for fault-detection and localization
Grant 8,453,125 - Artzi , et al. May 28, 2 | 2013-05-28 |
Using atomic sets of memory locations
Grant 8,423,966 - Dolby , et al. April 16, 2 | 2013-04-16 |
Scalable Property-sensitive Points-to Analysis For Program Code
App 20130091487 - CHANDRA; Satish ; et al. | 2013-04-11 |
Fault localization using directed test generation
Grant 8,387,018 - Artzi , et al. February 26, 2 | 2013-02-26 |
Simulating Black Box Test Results Using Information From White Box Testing
App 20120254839 - Fink; Stephen ; et al. | 2012-10-04 |
Refactoring Programs For Flexible Locking
App 20120174082 - DOLBY; Julian ; et al. | 2012-07-05 |
Generating Inputs For Client-server Programs For Fault Detection And Localization
App 20120151454 - ARTZI; Shay ; et al. | 2012-06-14 |
Simulating Black Box Test Results Using Information From White Box Testing
App 20120110551 - Fink; Stephen ; et al. | 2012-05-03 |
Dynamic detection of atomic-set-serializability violations
Grant 8,141,054 - Dolby , et al. March 20, 2 | 2012-03-20 |
Automatic customization of classes
Grant 8,132,150 - De Sutter , et al. March 6, 2 | 2012-03-06 |
Fault Localization Using Directed Test Generation
App 20120054552 - Artzi; Shay ; et al. | 2012-03-01 |
Fault Localization Using Condition Modeling And Return Value Modeling
App 20120054553 - ARTZI; Shay ; et al. | 2012-03-01 |
Automatic customization of classes
Grant 8,122,430 - De Sutter , et al. February 21, 2 | 2012-02-21 |
Correct Refactoring Of Concurrent Software
App 20110219361 - DOLBY; JULIAN ; et al. | 2011-09-08 |
Detecting And Localizing Security Vulnerabilities In Client-server Application
App 20110030061 - ARTZI; SHAY ; et al. | 2011-02-03 |
Fault Detection And Localization In Dynamic Software Applications Requiring User Inputs And Persistent States
App 20110016457 - ARTZI; SHAY ; et al. | 2011-01-20 |
Fault Detection And Localization In Dynamic Software Applications
App 20110016356 - ARTZI; Shay ; et al. | 2011-01-20 |
Generating Additional User Inputs For Fault Detection And Localization In Dynamic Software Applications
App 20110016456 - ARTZI; SHAY ; et al. | 2011-01-20 |
Using Atomic Sets Of Memory Locations
App 20100192131 - Dolby; Julian ; et al. | 2010-07-29 |
Using atomic sets of memory locations
Grant 7,716,645 - Dolby , et al. May 11, 2 | 2010-05-11 |
Dynamic Detection Of Atomic-set-serializability Violations
App 20090044174 - Dolby; Julian T. ; et al. | 2009-02-12 |
Declarative Object Identity Using Relation Types
App 20080222602 - Vaziri-Farahani; Mandana ; et al. | 2008-09-11 |
Automatic Customization Of Classes
App 20080189696 - DE SUTTER; BJORN ; et al. | 2008-08-07 |
Automatic customization of classes
Grant 7,356,802 - de Sutter , et al. April 8, 2 | 2008-04-08 |
Automatic Customization Of Classes
App 20080082972 - DE SUTTER; BJORN ; et al. | 2008-04-03 |
System and method using atomic sets of memory locations
App 20060282476 - Dolby; Julian ; et al. | 2006-12-14 |
Semantics-based composition of class hierarchies
Grant 7,137,104 - Tip , et al. November 14, 2 | 2006-11-14 |
Method and system for change classification
App 20060168565 - Gamma; Erich ; et al. | 2006-07-27 |
Parameterization of programming structures
App 20060080644 - Fuhrer; Robert M. ; et al. | 2006-04-13 |
Scalable propagation-based methods for call graph construction
Grant 7,003,507 - Tip , et al. February 21, 2 | 2006-02-21 |
Automatic customization of classes
App 20050071810 - Sutter, Bjorn de ; et al. | 2005-03-31 |
Semantics-based composition of class hierarchies
App 20030221182 - Tip, Frank ; et al. | 2003-11-27 |
Removal of unreachable methods in object-oriented applications based on program interface analysis
Grant 6,654,951 - Bacon , et al. November 25, 2 | 2003-11-25 |
Method for accurately extracting library-based object-oriented applications
Grant 6,546,551 - Sweeney , et al. April 8, 2 | 2003-04-08 |
Scalable propagation-based methods for call graph construction
App 20030018603 - Tip, Frank ; et al. | 2003-01-23 |
Method for determining reachable methods in object-oriented applications that use class libraries
Grant 6,463,581 - Bacon , et al. October 8, 2 | 2002-10-08 |
Method and apparatus for slicing class hierarchies
Grant 6,301,700 - Choi , et al. October 9, 2 | 2001-10-09 |
Method and device for program transformation using class hierarchy transformation based upon type constraint analysis
Grant 6,230,314 - Sweeney , et al. May 8, 2 | 2001-05-08 |
Rule-based engine for transformation of class hierarchy of an object-oriented program
Grant 5,983,020 - Sweeney , et al. November 9, 1 | 1999-11-09 |
| 