Patents by Inventor Wuwei Shen

Wuwei Shen 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).

  • Apparatus and method for testing computer program implementation against a design model
    Patent number: 9983977
    Abstract: A method of testing a computer program implementation according to a predefined design model, the program implementation having at least one method under test, employs a computer to generate a post-method corresponding to the method under test. A computer is further used to automatically generate a set of test cases. Then, using the automatically generated set of test cases, the computer explores different execution paths of the computer program implementation, by applying those test cases to both the method under test and the generated post-method, to reveal behavior that is not consistent with the behavior specified by the design model.
    Type: Grant
    Filed: February 24, 2015
    Date of Patent: May 29, 2018
    Assignee: Western Michigan University Research Foundation
    Inventors: Hector M. Chavez, Wuwei Shen
  • APPARATUS AND METHOD FOR TESTING COMPUTER PROGRAM IMPLEMENTATION AGAINST A DESIGN MODEL
    Publication number: 20170068609
    Abstract: A method of testing a computer program implementation according to a predefined design model, the program implementation having at least one method under test, employs a computer to generate a post-method corresponding to the method under test. A computer is further used to automatically generate a set of test cases. Then, using the automatically generated set of test cases, the computer explores different execution paths of the computer program implementation, by applying those test cases to both the method under test and the generated post-method, to reveal behavior that is not consistent with the behavior specified by the design model.
    Type: Application
    Filed: February 24, 2015
    Publication date: March 9, 2017
    Applicant: WESTERN MICHIGAN UNIVERSITY RESEARCH FOUNDATION
    Inventors: Hector M. Chavez, Wuwei Shen