verification

Suggesting model transformation repairs for rule-based languages using a contract-based testing approach
Model transformations play an essential role in most model-driven software projects. As the size and complexity of model …
Citar DOI URL