Testing Software and Systems - David Clark, Hector Menendez, Ana Rosa Cavalli (Springer, 2022)