Testing Software and Systems - Casola (Springer International Publishing, 2020)