Author: Taiwan) International Symposium on Theoretical Aspects of Software Engineering (4th 2010 Taipei