Annual Conference on Software Analysis, Testing and Evolution 03 - 04 November 2017 Harbin, China SATE