Testing Software and Systems - Franz Wotawa, Mihai Nica, Natalia Kushik (Springer, 2016)