https://www.machinet.net/tutorial-eng/automatic-test-generation-java-guide