Margaret H Holzmann

Title: The Innovative Contributions of Margaret H Holzmann

Introduction

Margaret H Holzmann is a notable inventor based in Watchung, NJ (US). She has made significant contributions to the field of technology, particularly in the area of software testing. Her innovative approach has led to the development of a unique method for generating test cases from directed graphs.

Latest Patents

Margaret holds a patent for "Automatic generation and regeneration of a covering test case set from a model." This invention provides a method and apparatus for generating a covering set of test cases from a directed graph. The directed graph consists of nodes and edges connecting the nodes, with a test case representing a path through the graph. The process involves receiving a set of selected test cases, which can be manually chosen or derived from a maintained test case set. The edges or nodes covered by these selected test cases are marked, and new test cases are generated according to a coverage algorithm. This innovative method ensures that the resulting partial test case set, along with the selected test cases, meets the coverage criterion.

Career Highlights

Margaret has worked at Lucent Technologies Inc., where she has been able to apply her expertise in software testing and development. Her work has contributed to advancements in the field, showcasing her skills as an inventor and innovator.

Collaborations

Throughout her career, Margaret has collaborated with notable colleagues, including Gerard Johan Holzmann and James J Striegel. These partnerships have allowed her to enhance her work and contribute to various projects within the technology sector.

Conclusion

Margaret H Holzmann's contributions to the field of technology through her innovative patent demonstrate her expertise and commitment to advancing software testing methodologies. Her work continues to influence the industry and inspire future innovations.