August C Reinig

Title: The Innovations of August C. Reinig

Introduction

August C. Reinig is a notable inventor based in Hudson, NH (US). He has made significant contributions to the field of software testing through his innovative patent. His work has implications for improving the reliability and accuracy of software compilers.

Latest Patents

August C. Reinig holds a patent for a "Method and apparatus for software testing using a differential testing." This patent describes techniques used in testing software, where a test generator produces a source program to test multiple compilers using a differential testing technique. The test generator includes a grammar with added semantic constraints to minimize the generation of non-conforming source programs. The source program adheres to the constraints included in a programming language standard. By utilizing properties of a conforming source code, the differential testing technique indicates when a test failure occurs, suggesting that one or more compilers are not processing the source program correctly. If a test failure is detected, the source program causing the failure is reduced using various reduction and simplification techniques.

Career Highlights

August C. Reinig has worked at Digital Equipment Corporation, where he has applied his expertise in software testing. His innovative approach has contributed to advancements in the field, enhancing the quality of software development processes.

Collaborations

Throughout his career, August has collaborated with notable colleagues, including William M. McKeeman and Andrew Payne. These collaborations have fostered a productive environment for innovation and development in software testing methodologies.

Conclusion

August C. Reinig's contributions to software testing through his patent demonstrate his commitment to improving technology. His work continues to influence the field, ensuring that software compilers operate effectively and accurately.