Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Automatic generation and regeneration of a covering test case set from a model

Automatic generation and regeneration of a covering test case set from a model

US Patent 6804634 · Granted Oct 12, 2004

Estimated economic value: $20,742,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Incremental update of a shape graph2018
Implied message sequence charts2004
Directly verifying a black box system2003
Model checking of message flow diagrams2003
Automatic generation and maintenance of regression test cases from requirements2002
Method and apparatus for testing event driven software2002
Model checking of hierarchical state machines2001
Methods and apparatus for generating passive testers from properties2000
Methods and apparatus for generating passive testers from properties2000
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