Algorithmic Test Case Generation

A computational method for identifying test cases from data, logical relationships or other software requirements information.