Patents by Inventor Cindy Rubio Gonzalez

Cindy Rubio Gonzalez 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).

  • Incremental compositional dynamic test generation
    Patent number: 8578344
    Abstract: Concepts and technologies are described herein for incremental compositional dynamic test generation. The concepts and technologies described herein are used to increase the code coverage and security vulnerability identification abilities of testing applications and devices, without significantly increasing, and in some cases decreasing, computational and time costs associated with the testing. Test summaries that describe how code is tested by a test engine are generated and stored during testing of code. These test summaries can be evaluated when additional iterations or versions of the code are tested. If functions corresponding to the test summaries are unchanged from, or logically equivalent to, a version of the function previously tested, the test summary may be used when testing the new version of the code.
    Type: Grant
    Filed: June 17, 2010
    Date of Patent: November 5, 2013
    Assignee: Microsoft Corporation
    Inventors: Patrice Godefroid, Shuvendu Kumar Lahiri, Cindy Rubio-Gonzalez
  • INCREMENTAL COMPOSITIONAL DYNAMIC TEST GENERATION
    Publication number: 20110314454
    Abstract: Concepts and technologies are described herein for incremental compositional dynamic test generation. The concepts and technologies described herein are used to increase the code coverage and security vulnerability identification abilities of testing applications and devices, without significantly increasing, and in some cases decreasing, computational and time costs associated with the testing. Test summaries that describe how code is tested by a test engine are generated and stored during testing of code. These test summaries can be evaluated when additional iterations or versions of the code are tested. If functions corresponding to the test summaries are unchanged from, or logically equivalent to, a version of the function previously tested, the test summary may be used when testing the new version of the code.
    Type: Application
    Filed: June 17, 2010
    Publication date: December 22, 2011
    Applicant: Microsoft Corporation
    Inventors: Patrice Godefroid, Shuvendu Kumar Lahiri, Cindy Rubio Gonzalez