Inventor
CAMPBELL COLIN L
US8 patents
Patents
8 patentsUS5764241AJun 9, 1998
Method and system for modeling and presenting integrated media with a declarative modeling language for representing reactive behavior
MICROSOFT CORP228 citations96
US7747985B2Jun 29, 2010
Conformance testing of multi-threaded and distributed software systems
MICROSOFT CORP28 citations92
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
US7548911B2Jun 16, 2009
Diagnosing problems in distributed systems
MICROSOFT CORP4 citations62