On Analyzing Rule-Dependencies to Generate Test Cases for Model Transformations | IEEE Conference Publication | IEEE Xplore