Testing Software and Systems - Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall (Springer, 2019)