A testing and analysis tool for certain 3-variable functions
N. Debnath, H.K. Lee, Mark Burgin, E. Thiemann · 2005
The object oriented design and implementation of an automated software testing tool is presented. The tool mechanically generates the test cases using the specifications of certain 3-variable functions and automatically run the test cases on a specified software to evaluate correctness. The tool can be reused for other related functions.