Mark S Petrovic

Title: Mark S Petrovic: Innovator in Functional Testing

Introduction

Mark S Petrovic is a notable inventor based in Petaluma, California. He has made significant contributions to the field of functional testing through his innovative patents. With a total of 3 patents, Petrovic has demonstrated his expertise and creativity in developing advanced techniques for software verification.

Latest Patents

One of Petrovic's latest patents focuses on using emulation to disassociate verification from stimulus in functional testing. This technique involves a computer storing first data representing an initial state of an application and second data representing the same initial state of a model application. The model application is designed to model the expected behavior of the application. The computer selects actions for both the application and the model application to perform, updating the data to reflect their states after the actions are executed. By comparing the first and second data, the computer can determine if both refer to the same state. If a discrepancy is found, the computer stores data indicating a test failure.

Career Highlights

Throughout his career, Mark S Petrovic has worked with prominent companies such as PayPal, Inc. and Xoom Corporation. His experience in these organizations has allowed him to refine his skills and contribute to the development of innovative solutions in the tech industry.

Collaborations

Some of Petrovic's notable coworkers include Anne S Stern and Xuyuan Si. Their collaboration has likely fostered an environment of creativity and innovation, leading to advancements in their respective fields.

Conclusion

Mark S Petrovic is a distinguished inventor whose work in functional testing has paved the way for improved software verification techniques. His contributions continue to influence the industry and inspire future innovations.