Software analysis, testing and evolution 8th international conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018 : proceedings - Bu, Lei (Springer, 2018)