2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)