Patents by Inventor Shaun Emory Miller

Shaun Emory Miller 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).

  • Concurrency test effectiveness via mutation testing and dynamic lock elision
    Patent number: 8276021
    Abstract: One embodiment described herein is directed to a method practiced in a computing environment. The method includes acts for determining test suite effectiveness for testing for concurrency problems and/or product faults. The method includes identifying a plurality of synchronization primitives in a section of implementation source code. One or more of the synchronization primitives are iteratively modified and a same test suite is run for each iteration. For each iteration, a determination is made whether or not the test suite returns an error as a result of modifying one or more synchronization primitives. When the test suite does not return an error, the method includes providing to a user an indication which indicates at least one of a test adequacy hole for the test suite; an implementation source code fault; or an equivalent mutant of the implementation source code.
    Type: Grant
    Filed: December 18, 2009
    Date of Patent: September 25, 2012
    Assignee: Microsoft Corporation
    Inventors: Christopher William Dern, Roy Patrick Tan, Shaun Emory Miller
  • CONCURRENCY TEST EFFICTIVENESS VIA MUTATION TESTING AND DYNAMIC LOCK ELISION
    Publication number: 20110154121
    Abstract: One embodiment described herein is directed to a method practiced in a computing environment. The method includes acts for determining test suite effectiveness for testing for concurrency problems and/or product faults. The method includes identifying a plurality of synchronization primitives in a section of implementation source code. One or more of the synchronization primitives are iteratively modified and a same test suite is run for each iteration. For each iteration, a determination is made whether or not the test suite returns an error as a result of modifying one or more synchronization primitives. When the test suite does not return an error, the method includes providing to a user an indication which indicates at least one of a test adequacy hole for the test suite; an implementation source code fault; or an equivalent mutant of the implementation source code.
    Type: Application
    Filed: December 18, 2009
    Publication date: June 23, 2011
    Applicant: MICROSOFT CORPORATION
    Inventors: Christopher William Dern, Roy Patrick Tan, Shaun Emory Miller