Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Methods and apparatus for generating passive testers from properties

Methods and apparatus for generating passive testers from properties

US Patent 6061812 · Granted May 9, 2000

Estimated economic value: $71,980,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Incremental update of a shape graph2018
Automatic generation and regeneration of a covering test case set from a model2004
Automatic generation and regeneration of a covering test case set from a model2004
Implied message sequence charts2004
Directly verifying a black box system2003
Model checking of message flow diagrams2003
Method and apparatus for testing event driven software2002
Model checking of hierarchical state machines2001
Apparatus and method for communicating data between elements of a distributed sy1998
Message sequence chart analyzer1998
On-the-fly model checking with partial-order state space reduction1997
Method and apparatus for deriving image width and height from raw graphical imag1996