Stephen T Harding

Title: Innovations of Stephen T Harding

Introduction

Stephen T Harding is a notable inventor based in San Diego, California. He has made significant contributions to the field of software engineering, particularly in the area of program validation and bug detection. With a total of three patents to his name, Harding's work showcases his innovative approach to solving complex problems in computer programming.

Latest Patents

One of Harding's latest patents is titled "Method for semantic preserving transform mutation discovery and vetting." This method involves validating software transforms by mutating a target program binary to produce multiple variants. Each variant is tested against a suite of tests, and those that do not pass are discarded. The successful variants are then compared to the original program to extract candidate transforms that meet specific criteria. These candidate transforms are further tested to determine their safety before being collected for use.

Another significant patent is "Device, system, and method for automatically detecting and repairing a bug in a computer program using a genetic algorithm." This invention utilizes an initial test variable identified by a fuzz tester to address bugs in the original program. It involves testing functionally equivalent computer program candidates using a suite of test variables, including the initial variable. The candidates are modified and selected through a genetic algorithm to produce bug-free versions that maintain functional equivalence with the original program.

Career Highlights

Stephen T Harding is currently employed by the United States Navy, where he contributes his expertise in software development and innovation. His work has been instrumental in advancing the capabilities of software systems used by the Navy.

Collaborations

Harding collaborates with talented individuals such as Jason A Landsborough and Sunny James Fugate, who share his commitment to innovation in software engineering.

Conclusion

Stephen T Harding's contributions to software validation and bug detection highlight his role as a leading inventor in the field. His innovative patents reflect a deep understanding of complex programming challenges and a commitment to improving software reliability.