Software testing : concepts and operations - Mili, Ali; Tchier, Fairouz (Quantitative software engineering series., 2015)