Inventor
VEANES MARGUS
US18 patents
⚠️ This page may combine multiple inventors who share the name “VEANES MARGUS”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
14 patentsUS7747985B2Jun 29, 2010
Conformance testing of multi-threaded and distributed software systems
MICROSOFT CORP28 citations92
US7284235B2Oct 16, 2007
Creation of content versions using content layers
MICROSOFT CORP26 citations92
US7149678B2Dec 12, 2006
High level executable network abstract machine
MICROSOFT CORP32 citations88
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
US7337388B2Feb 26, 2008
Tool-based iterative document management
MICROSOFT CORP10 citations80
US7088864B2Aug 8, 2006
Generating a test suite from an abstract state machine
MICROSOFT CORP10 citations73
US9355268B2May 31, 2016
Managing access by applications to perceptual information
MICROSOFT CORP6 citations70
US7548911B2Jun 16, 2009
Diagnosing problems in distributed systems
MICROSOFT CORP4 citations62
US9946354B2Apr 17, 2018
Gesture processing using a domain-specific gesture language
MICROSOFT CORP1 citations46