Inventor
GRIESKAMP WOLFGANG
US24 patents
⚠️ This page may combine multiple inventors who share the name “GRIESKAMP WOLFGANG”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
19 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
US7496791B2Feb 24, 2009
Mock object generation by symbolic execution
MICROSOFT CORP24 citations92
US7451435B2Nov 11, 2008
Self-describing artifacts and application abstractions
MICROSOFT CORP46 citations92
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
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
US7665072B2Feb 16, 2010
Generating test cases for software with complex preconditions
MICROSOFT CORP16 citations81
US7088864B2Aug 8, 2006
Generating a test suite from an abstract state machine
MICROSOFT CORP10 citations73
US7730462B2Jun 1, 2010
Generalized comprehension in imperative languages
MICROSOFT CORP6 citations63
US7584463B2Sep 1, 2009
State as a first-class citizen of an imperative language
MICROSOFT CORP2 citations62