| 9448772 |
Generating program fragments using keywords and context information |
Sumit Gulwani, Jonathan Paul de Halleux, Vu Minh Le, Zhendong Su |
2016-09-20 |
$35,738,000 |
| 9286038 |
Interface development and operation |
Sebastian Burckhardt, Manuel A Faehndrich, Michal J. Moskal, Sean C. McDirmid, Jonathan Paul de Halleux +1 more |
2016-03-15 |
$43,879,000 |
| 9239708 |
Contextually intelligent code editing |
Jonathan Paul de Halleux, Barend H. Venter |
2016-01-19 |
$86,646,000 |
| 9104528 |
Controlling the release of private information using static flow analysis |
Xusheng Xiao, Manuel A. Fahndrich, Jonathan Paul de Halleux, Michal J. Moskal |
2015-08-11 |
$31,793,000 |
| 8959496 |
Automatic parallelization in a tracing just-in-time compiler system |
Wolfram Schulte, Michal J. Moskal, Manuel A. Fahndrich, Daniel J P Leijen, Barend H. Venter |
2015-02-17 |
$31,357,000 |
| 8949771 |
Media files including programming code and description |
Michal J. Moskal, Jonathan Peli Paul de Halleux |
2015-02-03 |
$24,850,000 |
| 8726239 |
Generating type-safe wrappers for dynamic detouring |
Jonathan Paul de Halleux |
2014-05-13 |
$35,108,000 |
| 8533680 |
Approximating finite domains in symbolic state exploration |
Wolfgang Grieskamp, Wolfram Schulte |
2013-09-10 |
$23,590,000 |
| 8522222 |
Tracing just-in-time compilation with pointers to local variables |
— |
2013-08-27 |
$28,689,000 |
| 8515891 |
Symbolic finite automata |
Margus Veanes, Jonathan Paul de Halleux |
2013-08-20 |
$25,328,000 |
| 8468505 |
State as a first-class citizen of an imperative language |
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte |
2013-06-18 |
$36,705,000 |
| 8453106 |
Graphical user interface for exploring source code execution behavior |
Robert DeLine, Jonathan de Halleux |
2013-05-28 |
$28,238,000 |
| 8387021 |
Symbolic runtime checking of quantified contracts |
Dries Vanoverberghe, Jonathan Paul de Halleux, Nikolaj S. Bjorner, Wolfram Schulte |
2013-02-26 |
$11,012,000 |
| 8387016 |
Whitebox trace fuzzing |
Jonathan Paul de Halleux |
2013-02-26 |
$11,012,000 |
| 8180786 |
Symbolic query exploration |
Margus Veanes, Jonathan Paul de Halleux, Pavel Grigorenko |
2012-05-15 |
$19,036,000 |
| 8046746 |
Symbolic execution of object oriented programs with axiomatic summaries |
Wolfgang Grieskamp, Wolfram Schulte |
2011-10-25 |
$24,710,000 |
| 7926025 |
Symbolic program model compositions |
Colin Campbell, Margus Veanes, Nicolas Kicillof, Wolfgang Grieskamp, Wolfram Schulte |
2011-04-12 |
$11,368,000 |
| 7882495 |
Bounded program failure analysis and correction |
Jonathan Paul de Halleux, Wolfram Schulte |
2011-02-01 |
$15,193,000 |
| 7844951 |
Specification generation from implementations |
Feng-Lun CHEN, Wolfgang Grieskamp, Wolfram Schulte |
2010-11-30 |
$23,766,000 |
| 7797687 |
Parameterized unit tests with behavioral purity axioms |
Wolfgang Grieskamp, Wolfram Schulte |
2010-09-14 |
$27,616,000 |
| 7747985 |
Conformance testing of multi-threaded and distributed software systems |
Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Wolfgang Grieskamp +1 more |
2010-06-29 |
$14,156,000 |
| 7685571 |
Interactive domain configuration |
Wolfram Schulte, Wolfgang Grieskamp |
2010-03-23 |
$19,870,000 |
| 7681180 |
Parameterized test driven development |
Jonathan Paul de Halleux, Wolfram Schulte |
2010-03-16 |
$17,803,000 |
| 7590520 |
Non-deterministic testing |
Lev Borisovich Nachmanson, Margus Veanes, Wolfgang Grieskamp |
2009-09-15 |
$22,769,000 |
| 7587636 |
Unit test generalization |
Wolfgang Grieskamp, Wolfram Schulte |
2009-09-08 |
$39,068,000 |
