The Book "Generating Software Tests" - View it on GitHub