Wolfram Schulte
43Patents
12h-index
41Co-inventors
77Inventor score
Filing activity: Feb 8, 2002 → Apr 10, 2017
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7587636B2 | Unit test generalization | Physics | 51 | Active |
| US7216338B2 | Conformance execution of non-deterministic specifications for components | Physics | 36 | Expired |
| US7797687B2 | Parameterized unit tests with behavioral purity axioms | Physics | 33 | Active |
| US8112740B2 | Core object-oriented type system for semi-structured data | Physics | 32 | Active |
| US7389498B2 | Core object-oriented type system for semi-structured data | Physics | 23 | Expired |
| US7640470B2 | Meta-data driven test-data generation with controllable combinatorial coverage | Physics | 22 | Active |
| US8046746B2 | Symbolic execution of object oriented programs with axiomatic summaries | Physics | 19 | Active |
| US7681180B2 | Parameterized test driven development | Physics | 18 | 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 |
| US7774376B1 | Type-system extensions for object-oriented language based on coercive subtyping with restrictions | Physics | 15 | Expired |
| US7774787B2 | Method for specifying and verifying multi-threaded object-oriented programs with invariants | Physics | 12 | Active |
| US7496791B2 | Mock object generation by symbolic execution | Physics | 12 | Active |
| US7665072B2 | Generating test cases for software with complex preconditions | Physics | 10 | Active |
| US7661096B2 | Interaction with nested and non-nested streams | Physics | 9 | Expired |
| US8387021B2 | Symbolic runtime checking of quantified contracts | Physics | 8 | Active |
| US8250524B2 | Contract programming for code error reduction | Physics | 8 | Active |
| US7926025B2 | Symbolic program model compositions | Physics | 8 | Active |
| US7937694B2 | Fast flattening of nested streams | Physics | 8 | Active |
| US7500226B2 | Efficient checking of state-dependent constraints | Physics | 8 | Expired |
| US7444622B2 | Access driven filtering | Physics | 7 | Active |
| US7500149B2 | Generating finite state machines for software systems with asynchronous callbacks | Physics | 6 | Active |
| US8959496B2 | Automatic parallelization in a tracing just-in-time compiler system | Physics | 6 | Active |
| US7882495B2 | Bounded program failure analysis and correction | Physics | 6 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.