Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts.

MohammadAmin Zaheri, Michalis Famelis, Eugene Syriani

Browse the full MODELS paper archive.