Patents by Inventor Mark S. Petrovic

Mark S. Petrovic 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).

  • Patent number: 10489274
    Abstract: Techniques for using emulation to disassociate verification from stimulus in functional test are described. In one approach, a computer stores first data representing an initial state of an application and second data representing the same initial state of a model application, wherein the model application models expected behavior of the application. The computer selects actions for the application to perform and causes both the application and the model application to perform the actions. The computer updates the first and second data to represent the state of both the application and the model application after performing the actions. The computer then compares the first and second data to determine whether both refer to the same state. In response to a determination that the first data and the second data do not refer to the same state, the computer stores data indicating a test failure.
    Type: Grant
    Filed: May 15, 2018
    Date of Patent: November 26, 2019
    Assignee: PayPal, Inc.
    Inventors: Anne S. Stern, Mark S. Petrovic, Xuyuan Si, Wilson Ross
  • Publication number: 20190018758
    Abstract: Techniques for using emulation to disassociate verification from stimulus in functional test are described. In one approach, a computer stores first data representing an initial state of an application and second data representing the same initial state of a model application, wherein the model application models expected behavior of the application. The computer selects actions for the application to perform and causes both the application and the model application to perform the actions. The computer updates the first and second data to represent the state of both the application and the model application after performing the actions. The computer then compares the first and second data to determine whether both refer to the same state. In response to a determination that the first data and the second data do not refer to the same state, the computer stores data indicating a test failure.
    Type: Application
    Filed: May 15, 2018
    Publication date: January 17, 2019
    Inventors: Anne S. STERN, Mark S. PETROVIC, Xuyuan SI, Wilson ROSS
  • Patent number: 9971672
    Abstract: Techniques for using emulation to disassociate verification from stimulus in functional test are described. In one approach, a computer stores first data representing an initial state of an application and second data representing the same initial state of a model application, wherein the model application models expected behavior of the application. The computer selects actions for the application to perform and causes both the application and the model application to perform the actions. The computer updates the first and second data to represent the state of both the application and the model application after performing the actions. The computer then compares the first and second data to determine whether both refer to the same state. In response to a determination that the first data and the second data do not refer to the same state, the computer stores data indicating a test failure.
    Type: Grant
    Filed: May 2, 2016
    Date of Patent: May 15, 2018
    Assignee: PayPal, Inc.
    Inventors: Anne S. Stern, Mark S. Petrovic, Xuyuan Si, Wilson Ross
  • Publication number: 20160246702
    Abstract: Techniques for using emulation to disassociate verification from stimulus in functional test are described. In one approach, a computer stores first data representing an initial state of an application and second data representing the same initial state of a model application, wherein the model application models expected behavior of the application. The computer selects actions for the application to perform and causes both the application and the model application to perform the actions. The computer updates the first and second data to represent the state of both the application and the model application after performing the actions. The computer then compares the first and second data to determine whether both refer to the same state. In response to a determination that the first data and the second data do not refer to the same state, the computer stores data indicating a test failure.
    Type: Application
    Filed: May 2, 2016
    Publication date: August 25, 2016
    Inventors: Anne S. STERN, Mark S. PETROVIC, Xuyuan SI, Wilson ROSS
  • Patent number: 9329985
    Abstract: Techniques for using emulation to disassociate verification from stimulus in functional test are described. In one approach, a computer stores first data representing an initial state of an application and second data representing the same initial state of a model application, wherein the model application models expected behavior of the application. The computer selects actions for the application to perform and causes both the application and the model application to perform the actions. The computer updates the first and second data to represent the state of both the application and the model application after performing the actions. The computer then compares the first and second data to determine whether both refer to the same state. In response to a determination that the first data and the second data do not refer to the same state, the computer stores data indicating a test failure.
    Type: Grant
    Filed: April 4, 2014
    Date of Patent: May 3, 2016
    Assignee: XOOM CORPORATION
    Inventors: Anne S. Stern, Mark S. Petrovic, Xuyuan Si, Wilson Ross