Automated Software Testing: Foundations, Applications and Challenges - Jena, Ajay Kumar; Das, Himansu; Mohapatra, Durga Prasad (Springer Singapore, 2020)