Assessing the Quality of Model Differencing Engines
Controlled Generation of Models with Defined Properties.