Patents by Inventor Nishant Mehta

Nishant Mehta 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).

  • Modeling software behavior using learned predicates
    Patent number: 9098621
    Abstract: The described implementations relate to analysis of computing programs. One implementation provides a technique that can include accessing values of input variables that are processed by test code and runtime values that are produced by the test code while processing the input variables. The technique can also include modeling relationships between the runtime values and the values of the input variables. The relationships can reflect discontinuous functions of the input variables.
    Type: Grant
    Filed: February 28, 2011
    Date of Patent: August 4, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Alice X. Zheng, Madanlal S. Musuvathi, Nishant A. Mehta
  • MODELING SOFTWARE BEHAVIOR USING LEARNED PREDICATES
    Publication number: 20120222013
    Abstract: The described implementations relate to analysis of computing programs. One implementation provides a technique that can include accessing values of input variables that are processed by test code and runtime values that are produced by the test code while processing the input variables. The technique can also include modeling relationships between the runtime values and the values of the input variables. The relationships can reflect discontinuous functions of the input variables.
    Type: Application
    Filed: February 28, 2011
    Publication date: August 30, 2012
    Applicant: Microsoft Corporation
    Inventors: Alice X. Zheng, Madanlal S. Musuvathi, Nishant A. Mehta