| 12282869 |
On-device machine learning platform |
Pannag Raghunath Sanketi, Daniel Ramage, Hrishikesh Aradhye |
2025-04-22 |
| 11403540 |
On-device machine learning platform |
Pannag Raghunath Sanketi, Daniel Ramage, Hrishikesh Aradhye |
2022-08-02 |
| 11138517 |
On-device machine learning platform |
Pannag Raghunath Sanketi, Daniel Ramage, Hrishikesh Aradhye, Shiyu Hu |
2021-10-05 |
| 8533680 |
Approximating finite domains in symbolic state exploration |
Nikolai Tillmann, Wolfram Schulte |
2013-09-10 |
| 8468505 |
State as a first-class citizen of an imperative language |
Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann |
2013-06-18 |
| 8046746 |
Symbolic execution of object oriented programs with axiomatic summaries |
Nikolai Tillmann, Wolfram Schulte |
2011-10-25 |
| 7926025 |
Symbolic program model compositions |
Colin Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfram Schulte |
2011-04-12 |
| 7844951 |
Specification generation from implementations |
Feng-Lun CHEN, Nikolai Tillmann, Wolfram Schulte |
2010-11-30 |
| 7797687 |
Parameterized unit tests with behavioral purity axioms |
Nikolai Tillmann, Wolfram Schulte |
2010-09-14 |
| 7747985 |
Conformance testing of multi-threaded and distributed software systems |
Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann +1 more |
2010-06-29 |
| 7730462 |
Generalized comprehension in imperative languages |
Wolfram Schulte, Henricus Johannes Maria Meijer |
2010-06-01 |
| 7685571 |
Interactive domain configuration |
Wolfram Schulte, Nikolai Tillmann |
2010-03-23 |
| 7665072 |
Generating test cases for software with complex preconditions |
Nikolai Tillman, Colin Campbell, Lev Borisovich Nachmanson, Wolfram Schulte, Margus Veanes |
2010-02-16 |
| 7590520 |
Non-deterministic testing |
Lev Borisovich Nachmanson, Margus Veanes, Nikolai Tillmann |
2009-09-15 |
| 7587636 |
Unit test generalization |
Nikolai Tillmann, Wolfram Schulte |
2009-09-08 |
| 7584463 |
State as a first-class citizen of an imperative language |
Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann |
2009-09-01 |
| 7500149 |
Generating finite state machines for software systems with asynchronous callbacks |
Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann +1 more |
2009-03-03 |
| 7500226 |
Efficient checking of state-dependent constraints |
Nikolai Tillmann, Wolfram Schulte |
2009-03-03 |
| 7496791 |
Mock object generation by symbolic execution |
Nikolai Tillmann, Wolfram Schulte |
2009-02-24 |
| 7493544 |
Extending test sequences to accepting states |
Andreas Blass, Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett +3 more |
2009-02-17 |
| 7451435 |
Self-describing artifacts and application abstractions |
Galen C. Hunt, Thomas Roeder, James R. Larus, Manuel A. Fahndrich, John D. DeTreville +2 more |
2008-11-11 |
| 7444622 |
Access driven filtering |
Wolfram Schulte, Nikolai Tillmann |
2008-10-28 |
| 7363202 |
State exploration using multiple state groupings |
Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann |
2008-04-22 |
| 7088864 |
Generating a test suite from an abstract state machine |
Yuri Gurevich, Wolfram Schulte, Margus Veanes |
2006-08-08 |
