Membership
Tour
Register
Log in
Wolfgang Grieskamp
Follow
Person
Redmond, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Approximating finite domains in symbolic state exploration
Patent number
8,533,680
Issue date
Sep 10, 2013
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
State as a first-class citizen of an imperative language
Patent number
8,468,505
Issue date
Jun 18, 2013
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Symbolic execution of object oriented programs with axiomatic summa...
Patent number
8,046,746
Issue date
Oct 25, 2011
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Symbolic program model compositions
Patent number
7,926,025
Issue date
Apr 12, 2011
Microsoft Corporation
Colin L. Campbell
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Specification generation from implementations
Patent number
7,844,951
Issue date
Nov 30, 2010
Microsoft Corporation
Feng Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Parameterized unit tests with behavioral purity axioms
Patent number
7,797,687
Issue date
Sep 14, 2010
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Conformance testing of multi-threaded and distributed software systems
Patent number
7,747,985
Issue date
Jun 29, 2010
Microsoft Corporation
Colin L. Campbell
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Generalized comprehension in imperative languages
Patent number
7,730,462
Issue date
Jun 1, 2010
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Interactive domain configuration
Patent number
7,685,571
Issue date
Mar 23, 2010
Microsoft Corporation
Wolfram Schulte
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Generating test cases for software with complex preconditions
Patent number
7,665,072
Issue date
Feb 16, 2010
Microsoft Corporation
Nikolai Tillman
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Non-deterministic testing
Patent number
7,590,520
Issue date
Sep 15, 2009
Microsoft Corporation
Lev Borisovich Nachmanson
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Unit test generalization
Patent number
7,587,636
Issue date
Sep 8, 2009
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
State as a first-class citizen of an imperative language
Patent number
7,584,463
Issue date
Sep 1, 2009
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Generating finite state machines for software systems with asynchro...
Patent number
7,500,149
Issue date
Mar 3, 2009
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Efficient checking of state-dependent constraints
Patent number
7,500,226
Issue date
Mar 3, 2009
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Mock object generation by symbolic execution
Patent number
7,496,791
Issue date
Feb 24, 2009
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Extending test sequences to accepting states
Patent number
7,493,544
Issue date
Feb 17, 2009
Microsoft Corporation
Andreas Blass
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Self-describing artifacts and application abstractions
Patent number
7,451,435
Issue date
Nov 11, 2008
Microsoft Corporation
Galen C. Hunt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Access driven filtering
Patent number
7,444,622
Issue date
Oct 28, 2008
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
State exploration using multiple state groupings
Patent number
7,363,202
Issue date
Apr 22, 2008
Microsoft Corporation
Colin L. Campbell
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Generating a test suite from an abstract state machine
Patent number
7,088,864
Issue date
Aug 8, 2006
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
STATE AS A FIRST-CLASS CITIZEN OF AN IMPERATIVE LANGUAGE
Publication number
20100011194
Publication date
Jan 14, 2010
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Symbolic program model compositions
Publication number
20070168927
Publication date
Jul 19, 2007
Microsoft Corporation
Colin L. Campbell
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Specification generation from implementations
Publication number
20070157169
Publication date
Jul 5, 2007
Microsoft Corporation
Feng Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Approximating finite domains in symbolic state exploration
Publication number
20070157180
Publication date
Jul 5, 2007
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Unit test generalization
Publication number
20070033443
Publication date
Feb 8, 2007
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Mock object generation by symbolic execution
Publication number
20070033442
Publication date
Feb 8, 2007
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Parameterized unit tests
Publication number
20070033440
Publication date
Feb 8, 2007
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Symbolic execution of object oriented programs with axiomatic summa...
Publication number
20070033576
Publication date
Feb 8, 2007
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Generating test cases for software with complex preconditions
Publication number
20060242466
Publication date
Oct 26, 2006
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Generating finite state machines for software systems with asynchro...
Publication number
20060224924
Publication date
Oct 5, 2006
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Conformance testing of multi-threaded and distributed software systems
Publication number
20060212759
Publication date
Sep 21, 2006
Microsoft Corporation
Colin L. Campbell
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Extending test sequences to accepting states
Publication number
20060179383
Publication date
Aug 10, 2006
Microsoft Corporation
Andreas Blass
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
State exploration using multiple state groupings
Publication number
20060161404
Publication date
Jul 20, 2006
Microsoft Corporation
Colin L. Campbell
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Self-describing artifacts and application abstractions
Publication number
20060123412
Publication date
Jun 8, 2006
Microsoft Corporation
Galen Hunt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Efficient checking of state-dependent constraints
Publication number
20050198621
Publication date
Sep 8, 2005
Microsoft Corporation
Nikolai Tillmann
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Generalized comprehension in imperative languages
Publication number
20050166181
Publication date
Jul 28, 2005
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Non-deterministic testing
Publication number
20050160404
Publication date
Jul 21, 2005
Microsoft Corporation
Lev Borisovich Nachmanson
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
State as a first-class citizen of an imperative language
Publication number
20050050536
Publication date
Mar 3, 2005
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Interactive domain configuration
Publication number
20050050519
Publication date
Mar 3, 2005
Microsoft Corporation
Wolfram Schulte
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Access driven filtering
Publication number
20050050391
Publication date
Mar 3, 2005
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Generating a test suite from an abstract state machine
Publication number
20030159087
Publication date
Aug 21, 2003
Microsoft Corporation
Wolfgang Grieskamp
G06 - COMPUTING CALCULATING COUNTING