Software Analysis, Testing, and Evolution - Lei Bu, Yingfei Xiong (Springer International Publishing, 2018)