Issued Patents All Time
Showing 25 most recent of 29 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9747187 | Simulating black box test results using information from white box testing | Stephen Fink, Yinnon A. Haviv, Roee Hay, Marco Pistoia, Ory Segal +4 more | 2017-08-29 |
| 9720798 | Simulating black box test results using information from white box testing | Stephen Fink, Yinnon A. Haviv, Roee Hay, Marco Pistoia, Ory Segal +4 more | 2017-08-01 |
| 9135147 | Automated testing of applications with scripting code | Shay Artzi, Julian Timothy Dolby, Salvatore A. Guarnieri, Simon H. Jensen, Marco Pistoia +2 more | 2015-09-15 |
| 9043761 | Fault localization using condition modeling and return value modeling | Shay Artzi, Julian Timothy Dolby, Marco Pistoia | 2015-05-26 |
| 8943478 | Fault detection and localization in dynamic software applications | Shay Artzi, Julian Timothy Dolby | 2015-01-27 |
| 8869127 | Refactoring programs for flexible locking | Julian Timothy Dolby, Manu Sridharan, Max Schaefer | 2014-10-21 |
| 8694971 | Scalable property-sensitive points-to analysis for program code | Satish Chandra, Julian Timothy Dolby, Manu Sridharan | 2014-04-08 |
| 8689191 | Correct refactoring of concurrent software | Julian Timothy Dolby, Max Schaefer, Manu Sridharan, Emina Torlak | 2014-04-01 |
| 8578342 | Fault detection and localization in dynamic software applications requiring user inputs and persistent states | Shay Artzi, Julian Timothy Dolby | 2013-11-05 |
| 8527946 | Declarative object identity using relation types | Mandana Vaziri-Farahani, Stephen Fink, Julian Timothy Dolby | 2013-09-03 |
| 8516449 | Detecting and localizing security vulnerabilities in client-server application | Shay Artzi, Julian Timothy Dolby, Marco Pistoia, Omer Tripp | 2013-08-20 |
| 8453125 | Generating inputs for client-server programs for fault-detection and localization | Shay Artzi, Julian Timothy Dolby, Marco Pistoia | 2013-05-28 |
| 8423966 | Using atomic sets of memory locations | Julian Timothy Dolby, Mandana Vaziri | 2013-04-16 |
| 8387018 | Fault localization using directed test generation | Shay Artzi, Julian Timothy Dolby, Marco Pistoia | 2013-02-26 |
| 8141054 | Dynamic detection of atomic-set-serializability violations | Julian Timothy Dolby, Christian J. Hammer, Mandana Vaziri-Farahani | 2012-03-20 |
| 8132150 | Automatic customization of classes | Bjorn De Sutter, Julian Timothy Dolby | 2012-03-06 |
| 8122430 | Automatic customization of classes | Bjorn De Sutter, Julian Timothy Dolby | 2012-02-21 |
| 7716645 | Using atomic sets of memory locations | Julian Timothy Dolby, Mandana Vaziri | 2010-05-11 |
| 7356802 | Automatic customization of classes | Bjorn De Sutter, Julian Timothy Dolby | 2008-04-08 |
| 7137104 | Semantics-based composition of class hierarchies | Gregor Snelting | 2006-11-14 |
| 7003507 | Scalable propagation-based methods for call graph construction | Jens Palsberg | 2006-02-21 |
| 6654951 | Removal of unreachable methods in object-oriented applications based on program interface analysis | David F. Bacon, Johannes C. Laffra, Peter F. Sweeney | 2003-11-25 |
| 6546551 | Method for accurately extracting library-based object-oriented applications | Peter F. Sweeney | 2003-04-08 |
| 6463581 | Method for determining reachable methods in object-oriented applications that use class libraries | David F. Bacon, Johannes C. Laffra, Peter F. Sweeney | 2002-10-08 |
| 6301700 | Method and apparatus for slicing class hierarchies | Jong-Deok Choi, John H. Field, Ganesan Ramalingam | 2001-10-09 |