| 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 |
$2,195,000 |
| 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 |
$1,638,000 |
| 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 |
$3,796,000 |
| 9043761 |
Fault localization using condition modeling and return value modeling |
Shay Artzi, Julian Timothy Dolby, Marco Pistoia |
2015-05-26 |
$2,909,000 |
| 8943478 |
Fault detection and localization in dynamic software applications |
Shay Artzi, Julian Timothy Dolby |
2015-01-27 |
$4,313,000 |
| 8869127 |
Refactoring programs for flexible locking |
Julian Timothy Dolby, Manu Sridharan, Max Schaefer |
2014-10-21 |
$3,429,000 |
| 8694971 |
Scalable property-sensitive points-to analysis for program code |
Satish Chandra, Julian Timothy Dolby, Manu Sridharan |
2014-04-08 |
$7,562,000 |
| 8689191 |
Correct refactoring of concurrent software |
Julian Timothy Dolby, Max Schaefer, Manu Sridharan, Emina Torlak |
2014-04-01 |
$5,095,000 |
| 8578342 |
Fault detection and localization in dynamic software applications requiring user inputs and persistent states |
Shay Artzi, Julian Timothy Dolby |
2013-11-05 |
$5,290,000 |
| 8527946 |
Declarative object identity using relation types |
Mandana Vaziri-Farahani, Stephen Fink, Julian Timothy Dolby |
2013-09-03 |
$4,698,000 |
| 8516449 |
Detecting and localizing security vulnerabilities in client-server application |
Shay Artzi, Julian Timothy Dolby, Marco Pistoia, Omer Tripp |
2013-08-20 |
$3,918,000 |
| 8453125 |
Generating inputs for client-server programs for fault-detection and localization |
Shay Artzi, Julian Timothy Dolby, Marco Pistoia |
2013-05-28 |
$7,454,000 |
| 8423966 |
Using atomic sets of memory locations |
Julian Timothy Dolby, Mandana Vaziri |
2013-04-16 |
$3,567,000 |
| 8387018 |
Fault localization using directed test generation |
Shay Artzi, Julian Timothy Dolby, Marco Pistoia |
2013-02-26 |
$4,239,000 |
| 8141054 |
Dynamic detection of atomic-set-serializability violations |
Julian Timothy Dolby, Christian J. Hammer, Mandana Vaziri-Farahani |
2012-03-20 |
$2,170,000 |
| 8132150 |
Automatic customization of classes |
Bjorn De Sutter, Julian Timothy Dolby |
2012-03-06 |
$5,131,000 |
| 8122430 |
Automatic customization of classes |
Bjorn De Sutter, Julian Timothy Dolby |
2012-02-21 |
$5,017,000 |
| 7716645 |
Using atomic sets of memory locations |
Julian Timothy Dolby, Mandana Vaziri |
2010-05-11 |
$5,650,000 |
| 7356802 |
Automatic customization of classes |
Bjorn De Sutter, Julian Timothy Dolby |
2008-04-08 |
$6,866,000 |
| 7137104 |
Semantics-based composition of class hierarchies |
Gregor Snelting |
2006-11-14 |
$5,090,000 |
| 7003507 |
Scalable propagation-based methods for call graph construction |
Jens Palsberg |
2006-02-21 |
$6,384,000 |
| 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 |
$5,480,000 |
| 6546551 |
Method for accurately extracting library-based object-oriented applications |
Peter F. Sweeney |
2003-04-08 |
$14,785,000 |
| 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 |
$10,352,000 |
| 6301700 |
Method and apparatus for slicing class hierarchies |
Jong-Deok Choi, John H. Field, Ganesan Ramalingam |
2001-10-09 |
$29,916,000 |
