Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)