Wolfgang Grieskamp
24Patents
9h-index
23Co-inventors
75Inventor score
Filing activity: Feb 8, 2002 → Jul 27, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7587636B2 | Unit test generalization | Physics | 51 | Active |
| US7451435B2 | Self-describing artifacts and application abstractions | Physics | 36 | Expired |
| US7797687B2 | Parameterized unit tests with behavioral purity axioms | Physics | 33 | Active |
| US8046746B2 | Symbolic execution of object oriented programs with axiomatic summaries | Physics | 19 | Active |
| US7685571B2 | Interactive domain configuration | Physics | 17 | Expired |
| US7844951B2 | Specification generation from implementations | Physics | 16 | Active |
| US7747985B2 | Conformance testing of multi-threaded and distributed software systems | Physics | 15 | Active |
| US7496791B2 | Mock object generation by symbolic execution | Physics | 12 | Active |
| US7665072B2 | Generating test cases for software with complex preconditions | Physics | 10 | Active |
| US7590520B2 | Non-deterministic testing | Physics | 9 | Expired |
| US7500226B2 | Efficient checking of state-dependent constraints | Physics | 8 | Expired |
| US7926025B2 | Symbolic program model compositions | Physics | 8 | Active |
| US7444622B2 | Access driven filtering | Physics | 7 | Active |
| US7500149B2 | Generating finite state machines for software systems with asynchronous callbacks | Physics | 6 | Active |
| US7363202B2 | State exploration using multiple state groupings | Physics | 5 | Expired |
| US7088864B2 | Generating a test suite from an abstract state machine | Physics | 5 | Expired |
| US7730462B2 | Generalized comprehension in imperative languages | Physics | 4 | Active |
| US11403540B2 | On-device machine learning platform | Physics | 3 | Active |
| US8533680B2 | Approximating finite domains in symbolic state exploration | Physics | 2 | Active |
| US7493544B2 | Extending test sequences to accepting states | Physics | 2 | Active |
| US11138517B2 | On-device machine learning platform | Physics | 1 | Active |
| US7584463B2 | State as a first-class citizen of an imperative language | Physics | 1 | Expired |
| US12282869B2 | On-device machine learning platform | Physics | 0 | Active |
| US8468505B2 | State as a first-class citizen of an imperative language | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.