Author: China) International Symposium on Theoretical Aspects of Software Engineering (8th 2014 Changsha