2012 Sixth International Symposium on Theoretical Aspects of Software Engineering