Static Analysis of Model Transformations for Effective Test Generation | IEEE Conference Publication | IEEE Xplore