If interested in this topic, here is a survey that tells you about various ways to do automatic, test-case generation: https://cs.stanford.edu/people/saswat/re

If interested in this topic, here is a survey that tells you about various ways to do automatic, test-case generation: https://cs.stanford.edu/people/saswat/research/ASTJSS.pdf https://cs.stanford.edu/people/saswat/research/ASTJSS.pdf My baseline recommendation is using one of every type if you can just run overnight on a server dedicated to verification or testing. I also think hybrid methods have a ton of promise combining static analysis, dynamic analysis, and above methods of test generation. Here's an example: https://homes.cs.washington.edu/~mernst/pubs/palus-testgen-issta2011.pdf https://homes.cs.washington.edu/~mernst/pubs/palus-testgen-i...