Automated Software Testing - Ajay Kumar Jena, Himansu Das, Durga Prasad Mohapatra (Springer, 2020)