Inventor
TILLMANN NIKOLAI
US33 patents
⚠️ This page may combine multiple inventors who share the name “TILLMANN NIKOLAI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
22 patentsUS7587636B2Sep 8, 2009
Unit test generalization
MICROSOFT CORP72 citations98
US7797687B2Sep 14, 2010
Parameterized unit tests with behavioral purity axioms
MICROSOFT CORP52 citations94
US8046746B2Oct 25, 2011
Symbolic execution of object oriented programs with axiomatic summaries
MICROSOFT CORP27 citations92
US7844951B2Nov 30, 2010
Specification generation from implementations
MICROSOFT CORP35 citations92
US7747985B2Jun 29, 2010
Conformance testing of multi-threaded and distributed software systems
MICROSOFT CORP28 citations92
US7681180B2Mar 16, 2010
Parameterized test driven development
MICROSOFT CORP25 citations92
US7496791B2Feb 24, 2009
Mock object generation by symbolic execution
MICROSOFT CORP24 citations92
US7882495B2Feb 1, 2011
Bounded program failure analysis and correction
MICROSOFT CORP8 citations84
US7685571B2Mar 23, 2010
Interactive domain configuration
MICROSOFT CORP19 citations84
US7500226B2Mar 3, 2009
Efficient checking of state-dependent constraints
MICROSOFT CORP14 citations84
US7444622B2Oct 28, 2008
Access driven filtering
MICROSOFT CORP15 citations84
US8387016B2Feb 26, 2013
Whitebox trace fuzzing
MICROSOFT CORP8 citations83
US7590520B2Sep 15, 2009
Non-deterministic testing
MICROSOFT CORP15 citations83
US7500149B2Mar 3, 2009
Generating finite state machines for software systems with asynchronous callbacks
MICROSOFT CORP8 citations83
US7363202B2Apr 22, 2008
State exploration using multiple state groupings
MICROSOFT CORP10 citations83
US7926025B2Apr 12, 2011
Symbolic program model compositions
MICROSOFT CORP13 citations82
US7493544B2Feb 17, 2009
Extending test sequences to accepting states
MICROSOFT CORP8 citations82
US9448772B2Sep 20, 2016
Generating program fragments using keywords and context information
MICROSOFT CORP15 citations81
US8387021B2Feb 26, 2013
Symbolic runtime checking of quantified contracts
MICROSOFT CORP11 citations81
US9286038B2Mar 15, 2016
Interface development and operation
MICROSOFT CORP3 citations68
US7584463B2Sep 1, 2009
State as a first-class citizen of an imperative language
MICROSOFT CORP2 citations62
US7548911B2Jun 16, 2009
Diagnosing problems in distributed systems
MICROSOFT CORP4 citations62
TILLMANN NIKOLAI
3 patentsUS8522222B2Aug 27, 2013
Tracing just-in-time compilation with pointers to local variables
TILLMANN NIKOLAI20 citations91
US9239708B2Jan 19, 2016
Contextually intelligent code editing
TILLMANN NIKOLAI8 citations77
US8533680B2Sep 10, 2013
Approximating finite domains in symbolic state exploration
TILLMANN NIKOLAI3 citations61