Francisco Miguel Anaya

Title: Innovations of Francisco Miguel Anaya

Introduction

Francisco Miguel Anaya is a notable inventor based in Hollister, CA (US). He has made significant contributions to the field of software testing and development. With a total of 7 patents, Anaya's work focuses on improving the accuracy and efficiency of software testing processes.

Latest Patents

One of his latest patents involves identifying incorrect variable values in software testing and development environments. In this innovation, a test suite is executed to test a computer program for a plurality of variables. A variable value is generated for each variable at a predetermined location within the program. The success of each test is determined, and successful variable values are recorded as part of a success value set. Conversely, unsuccessful tests lead to the variable values being recorded in a failure value set. A confidence metric is calculated for each variable value, and a relevance metric is measured based on the Jaccard distance between the success and failure value sets. The results, including the failure value set, success value set, confidence metric, and relevance metrics, are then presented.

Career Highlights

Francisco Miguel Anaya is currently employed at International Business Machines Corporation, commonly known as IBM. His work at IBM has allowed him to develop and refine his innovative ideas in software testing.

Collaborations

Anaya has collaborated with notable coworkers such as Trong Truong and Tom C L Chen. Their combined expertise contributes to the advancement of technology in their field.

Conclusion

Francisco Miguel Anaya's contributions to software testing through his patents demonstrate his commitment to innovation and excellence. His work continues to influence the industry and improve software development practices.