The term « Test cases Generation » is widely used but corresponds to many different kinds of services. Many should be renamed “computer-assisted manual creation of test vectors” as the delivered value remains limited, and only concerns the inputs of the software to be tested, and not the expected outputs. 

STIMULUS is much ahead anything that exists in this domain, here is the pain description (often underestimated) and DS amazing answer, in a 7mn30 video: