Xiao He, Tian Zhang, Zhiyi Ma, Weizhong Shao: Randomized Model Generation for Performance Testing of Model Transformations. COMPSAC 2014: 11-20