Patents by Inventor Wojciech Szermer

Wojciech Szermer has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Method for automated generation of tests for software
    Patent number: 5913023
    Abstract: A method for automated generation of tests for software comprises the steps of establishing a set of formal generative requirements; establishing a set of formal constraining requirements; developing information from a test case structure and encoding the structure as a context free grammar; and applying the generative requirements and the constraining requirements to indicate tests to be included in a test suite.
    Type: Grant
    Filed: June 30, 1997
    Date of Patent: June 15, 1999
    Assignee: Siemens Corporate Research, Inc.
    Inventor: Wojciech Szermer