Randomized Model Generation for Performance Testing of Model Transformations | IEEE Conference Publication | IEEE Xplore