SMS: Automated Software Testing Foundations, Applications and Challenges / edited by Ajay Kumar Jena, Himansu Das, Durga Prasad Mohapatra. [electronic resource] :