Software Analysis, Testing, and Evolution: 8th International Conference, Sate 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings (Paperback, 2018)