Richard T. Mraz

Learn More
While Artiicial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by(More)
As test case automation increases, the volume of tests can become a problem. Further, it may not be immediately obvious whether the test generation tool generates effective test cases. Indeed, it might be useful to have a mechanism that is able to learn, based on past history, which test cases are likely to yield more failures versus those that are not(More)
In general, the test data generation problem is equivalent to the Halting Problem; therefore, it is undecidable. This does not have to be the case for speciic problem domains. We propose a solution to the test data generation problem for command-based systems, and we call our method Domain Based Testing (DBT). DBT uses Domain Analysis and a Domain Model to(More)