Richard Mraz

United States Air Force Academy, Colorado State University

Papers

Total Citations

H-Index

About

Richard Mraz is a pioneering researcher in the intersection of artificial intelligence and software engineering, with a primary focus on automated test case generation. His seminal work, "Test Case Generation as an AI Planning Problem" (1997), which has accumulated 67 citations, introduced a groundbreaking approach that reframed the complex challenge of creating effective software tests as a formal AI planning task. This contribution demonstrated how AI planning algorithms could systematically generate test cases, significantly reducing the manual effort and cost traditionally associated with software testing. Mraz further advanced the field with his 1995 study "Automated testing of application domains," which explored how abstract software representations could be leveraged to automate testing across different phases of the software lifecycle—unit, integration, and system testing. His research directly addressed the costly and time-consuming nature of test data generation, offering practical solutions that bridge AI planning with real-world software quality assurance. Mraz’s work remains influential for researchers and practitioners seeking intelligent automation in software testing.