Between software and test automation is some class and method analysis that provides the automated test generator with what it requires. Its hard to do random testing however since naive random usually generates useless and illegal inputs.
Pipeline
Here, we also use a legality checker to blacklist invalid inputs.
In ECE453, we use Randoop to generate random stuff. It might be worth referencing documentation or the lecture slides for actual stuff.