Company Filing History:
Years Active: 2021
Title: Amit Rokach: Innovator in Computer Program Testing
Introduction
Amit Rokach is a notable inventor based in Beer-Sheva, Israel. He has made significant contributions to the field of computer science, particularly in the area of software testing. His innovative approach focuses on ensuring the correctness of computer programs during runtime.
Latest Patents
Rokach holds a patent for a "Method and system for testing and checking the correctness of a computer program during runtime." This invention is designed to test the correctness of various software modules, such as hypervisors, operating systems, or interpreters, while they are actively running. The method integrates reflexive code into the software, which can be activated by input to assess the output and determine the correctness of the program.
Career Highlights
Amit Rokach is associated with B.G. Negev Technologies and Applications Ltd., where he applies his expertise in software development and testing. His work has been instrumental in advancing the reliability of computer systems.
Collaborations
Rokach collaborates with talented individuals such as Shlomi Dolev and Roman Manevich, contributing to innovative projects and enhancing the capabilities of their team.
Conclusion
Amit Rokach's contributions to the field of computer program testing highlight his innovative spirit and dedication to improving software reliability. His patent reflects a significant advancement in ensuring the correctness of computer programs during their operation.