2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering