MohammadAmin Zaheri, Michalis Famelis, Eugene Syriani. Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts. In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021. pages 400-409, IEEE, 2021. [doi]
Abstract is missing.