Automated Testing with ACTS and a Model Checker

For more than simple "crash" testing, we need to determine the expected outputs for each test input generated by ACTS. One way, though not the only way, is through using a model checker.This “cookbook” style tutorial provides a step-by-step introduction to automated generation of tests that provide combinatorial coverage.  Procedures introduced in this tutorial will produce a set of complete tests, i.e., input values with the expected output for each set of inputs. 

Here are some publications that explain this method of test generation: