An Artificial Intelligence Approach to Test Generation

Más información sobre el libro

The acknowledgments highlight the author's gratitude towards key individuals who significantly contributed to their research journey. The thesis advisor, Michael Genesereth, provided essential guidance and inspiration, while Harold Brown introduced the application of artificial intelligence in design reasoning. The reading committee members, including Mark Horowitz and Allen Peterson, enhanced the thesis's clarity and organization. Additionally, support from the Logic Group and Schlumberger Palo Alto Research created a conducive environment for the research.