Inventor
SCHULTE WOLFRAM
US43 patents
⚠️ This page may combine multiple inventors who share the name “SCHULTE WOLFRAM”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
31 patentsUS7587636B2Sep 8, 2009
Unit test generalization
MICROSOFT CORP72 citations98
US7216338B2May 8, 2007
Conformance execution of non-deterministic specifications for components
MICROSOFT CORP67 citations98
US7797687B2Sep 14, 2010
Parameterized unit tests with behavioral purity axioms
MICROSOFT CORP52 citations94
US7389498B2Jun 17, 2008
Core object-oriented type system for semi-structured data
MICROSOFT CORP40 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
US7774376B1Aug 10, 2010
Type-system extensions for object-oriented language based on coercive subtyping with restrictions
MICROSOFT CORP23 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
US7640470B2Dec 29, 2009
Meta-data driven test-data generation with controllable combinatorial coverage
MICROSOFT CORP25 citations92
US7496791B2Feb 24, 2009
Mock object generation by symbolic execution
MICROSOFT CORP24 citations92
US7937694B2May 3, 2011
Fast flattening of nested streams
MICROSOFT CORP12 citations84
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
US7912863B1Mar 22, 2011
Compositional lifting of operations over structural types
MICROSOFT CORP11 citations83
US7661096B2Feb 9, 2010
Interaction with nested and non-nested streams
MICROSOFT CORP17 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
US8387021B2Feb 26, 2013
Symbolic runtime checking of quantified contracts
MICROSOFT CORP11 citations81
US7774787B2Aug 10, 2010
Method for specifying and verifying multi-threaded object-oriented programs with invariants
MICROSOFT CORP16 citations81
US7665072B2Feb 16, 2010
Generating test cases for software with complex preconditions
MICROSOFT CORP16 citations81
US7441237B2Oct 21, 2008
System and method for extending a compiler through a composer
MICROSOFT CORP7 citations73
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
US7530080B2May 5, 2009
Implementation of alias preserving structural subtyping with precise types using transparent adapters
MICROSOFT CORP2 citations62
US7822853B2Oct 26, 2010
Stabilization of distributed systems
MICROSOFT CORP0 citations34