An autotester for the modified nextdate function reusing a test case generator

A design and implementation of an automated testing tool is presented that reuses an existing test case generator. The tool is implemented in Java. The tool reuses the generator to generate the test cases using a predefined set of specifications for a given software and then executes the same software on those test cases to verify correctness.