The automated tool presented in this paper is useful to
mechanically generate the test cases for the triangle
problem, NextDate problem, and the Commission
problem. The tools are also used to automatically execute
the implementation of these problems using the set of test
cases to verify correctness of the output values. The
preliminary designs and the implementation of the tool
can be reused and may potentially help enhance existing
tools, and provide future directions for the development
of new software testing tools. Such a software testing
tool may also prove to be important in software testing
research and help further enhance software development
process