Inventor · Redmond, WA, US

Nikolai Tillmann

33Patents
10h-index
31Co-inventors
71Inventor score

Filing activity: Aug 27, 2003 → Jun 28, 2013

Most-cited inventions

PatentTitleAreaCited byStatus
US7587636B2 Unit test generalization Physics 51 Active
US7797687B2 Parameterized unit tests with behavioral purity axioms Physics 33 Active
US8046746B2 Symbolic execution of object oriented programs with axiomatic summaries Physics 19 Active
US7681180B2 Parameterized test driven development Physics 18 Active
US7685571B2 Interactive domain configuration Physics 17 Expired
US7844951B2 Specification generation from implementations Physics 16 Active
US7747985B2 Conformance testing of multi-threaded and distributed software systems Physics 15 Active
US8522222B2 Tracing just-in-time compilation with pointers to local variables Physics 13 Active
US7496791B2 Mock object generation by symbolic execution Physics 12 Active
US9448772B2 Generating program fragments using keywords and context information Physics 11 Active
US7590520B2 Non-deterministic testing Physics 9 Expired
US7926025B2 Symbolic program model compositions Physics 8 Active
US7500226B2 Efficient checking of state-dependent constraints Physics 8 Expired
US8387021B2 Symbolic runtime checking of quantified contracts Physics 8 Active
US8180786B2 Symbolic query exploration Physics 7 Active
US7444622B2 Access driven filtering Physics 7 Active
US9104528B2 Controlling the release of private information using static flow analysis Electricity 6 Active
US8959496B2 Automatic parallelization in a tracing just-in-time compiler system Physics 6 Active
US7882495B2 Bounded program failure analysis and correction Physics 6 Active
US7500149B2 Generating finite state machines for software systems with asynchronous callbacks Physics 6 Active
US7363202B2 State exploration using multiple state groupings Physics 5 Expired
US9239708B2 Contextually intelligent code editing Physics 5 Active
US8453106B2 Graphical user interface for exploring source code execution behavior Physics 4 Active
US8387016B2 Whitebox trace fuzzing Physics 4 Active
US7548911B2 Diagnosing problems in distributed systems Physics 2 Active

Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.