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