Issued Patents All Time
Showing 26–43 of 43 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7685571 | Interactive domain configuration | Wolfgang Grieskamp, Nikolai Tillmann | 2010-03-23 |
| 7681180 | Parameterized test driven development | Jonathan Paul de Halleux, Nikolai Tillmann | 2010-03-16 |
| 7665072 | Generating test cases for software with complex preconditions | Nikolai Tillman, Colin Campbell, Wolfgang Grieskamp, Lev Borisovich Nachmanson, Margus Veanes | 2010-02-16 |
| 7661096 | Interaction with nested and non-nested streams | Henricus Johannes Maria Meijer, David N. Schach, Avner Y. Aharoni | 2010-02-09 |
| 7640470 | Meta-data driven test-data generation with controllable combinatorial coverage | Ralf Lammel | 2009-12-29 |
| 7587636 | Unit test generalization | Nikolai Tillmann, Wolfgang Grieskamp | 2009-09-08 |
| 7584463 | State as a first-class citizen of an imperative language | Wolfgang Grieskamp, Yuri Gurevich, Nikolai Tillmann | 2009-09-01 |
| 7530080 | Implementation of alias preserving structural subtyping with precise types using transparent adapters | Barend H. Venter, Chia-Hsun Chen, Erik Meijer, Christopher J. Lovett, Matthew J. Warren | 2009-05-05 |
| 7500226 | Efficient checking of state-dependent constraints | Nikolai Tillmann, Wolfgang Grieskamp | 2009-03-03 |
| 7500149 | Generating finite state machines for software systems with asynchronous callbacks | Wolfgang Grieskamp, Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett +1 more | 2009-03-03 |
| 7496791 | Mock object generation by symbolic execution | Nikolai Tillmann, Wolfgang Grieskamp | 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 |
| 7444622 | Access driven filtering | Wolfgang Grieskamp, Nikolai Tillmann | 2008-10-28 |
| 7441237 | System and method for extending a compiler through a composer | Matthew J. Warren, Barend H. Venter, Erik Meijer, Christopher J. Lovett, Chia-Hsun Chen | 2008-10-21 |
| 7389498 | Core object-oriented type system for semi-structured data | Erik Meijer, Barend H. Venter, Chia-Hsun Chen, Christopher J. Lovett, Matthew J. Wararen | 2008-06-17 |
| 7363202 | State exploration using multiple state groupings | Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Wolfgang Grieskamp, Nikolai Tillmann | 2008-04-22 |
| 7216338 | Conformance execution of non-deterministic specifications for components | Michael Barnett | 2007-05-08 |
| 7088864 | Generating a test suite from an abstract state machine | Wolfgang Grieskamp, Yuri Gurevich, Margus Veanes | 2006-08-08 |