Doron A Peled is a notable inventor based in Gillette, NJ (US). He has made significant contributions to the field of software verification and testing, holding a total of 7 patents. His work focuses on enhancing the reliability and efficiency of software systems.

Latest Patents

One of his latest patents is titled "Directly verifying a black box system." This invention provides a system and method for direct verification of black box systems. It determines a sequence of inputs that will verify the system's properties without needing to infer its internal structure. The method involves constructing a specification automaton to exhibit undesirable behavior and checking for accepting executions on the intersection of the black box and the automaton.

Another significant patent is the "Interactive software testing system and method." This method visualizes and tests software code sequences, generating nodes and edges that correspond to the code's instructions. It allows users to visualize the flow of the software code through a flow chart, enhancing the understanding of execution paths and conditions.

Career Highlights

Doron A Peled is currently associated with Lucent Technologies Inc., where he continues to innovate in the field of software engineering. His work has had a profound impact on how software systems are tested and verified, making them more robust and reliable.

Collaborations

Throughout his career, Doron has collaborated with notable colleagues such as Husnu Yenigun and Marius Minea. These collaborations have contributed to the advancement of technology in software verification.

Conclusion

Doron A Peled's contributions to software verification and testing through his patents have significantly advanced the field. His innovative approaches continue to influence the development of reliable software systems.

Profile summary based on public USPTO records.

Please report any incorrect information to [email protected]