Which of the following tool categories would BEST support a tester who needs to automatically generate test inputs based on equivalence partitioning and boundary value analysis from a specification?