Patents Assigned to Reactive Systems, Inc.
  • System and method for automatic test-case generation for software
    Patent number: 7644398
    Abstract: A method for generating test cases for software and a test case generator comprising a simulator that drives software under test from one input state to the next. The simulator is constrained by predetermined criteria to visit states that meet the criteria thus preserving computer resources. The states reached by the simulator are tested.
    Type: Grant
    Filed: December 19, 2002
    Date of Patent: January 5, 2010
    Assignee: Reactive Systems, Inc.
    Inventors: Rance Cleaveland, Steve T. Sims, David Hansel