Author: IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (2nd 2008 Nanjing, China)