International Symposium on Theoretical Aspects of Software Engineering (3rd 2009 Tianjin, China)