2013 International Symposium on Theoretical Aspects of Software Engineering