Testing Software and Systems - Merayo (Springer Berlin Heidelberg, 2014)