Location History:
- Pittsburgh, PA (US) (2015)
- Wettolshei, FR (2017)
Company Filing History:
Years Active: 2015-2017
Title: Innovations of Alexandre Rebert
Introduction
Alexandre Rebert is a notable inventor based in Wettolshei, France. He has made significant contributions to the field of software testing, holding a total of 3 patents. His work focuses on enhancing the efficiency and effectiveness of software testing methodologies.
Latest Patents
One of Rebert's latest patents is titled "Methods and systems for automatically testing software." This invention describes an automatic software testing machine that utilizes an advanced symbolic execution approach. It combines dynamic symbolic execution and static symbolic execution, leveraging the strengths of both methods while avoiding their vulnerabilities. The system is designed to automatically alternate between these two execution modes based on partial control flow graphs of the software code being tested. This innovative approach allows the software testing machine to begin with dynamic symbolic execution and switch to static symbolic execution opportunistically, checking only specific program fragments rather than entire programs.
Another significant patent by Rebert is "Detecting exploitable bugs in binary code." This invention outlines systems and methods for performing hybrid symbolic execution to identify exploitable bugs within binary code. The system determines the performance level of resources associated with an execution client conducting symbolic execution of a target program. It generates checkpoints for active executing paths and adjusts the execution process based on the performance level, ensuring efficient bug detection.
Career Highlights
Alexandre Rebert is affiliated with Carnegie Mellon University, where he continues to advance his research and innovations in software testing. His work has garnered attention for its potential to improve software reliability and security.
Collaborations
Rebert has collaborated with esteemed colleagues such as Thanassis Avgerinos and David James Brumley. Their combined expertise contributes to the development of cutting-edge solutions in the realm of software testing.
Conclusion
Alexandre Rebert's contributions to software testing through his innovative patents demonstrate his commitment to enhancing the field. His work not only addresses current challenges but also paves the way for future advancements in software reliability and security.