CoCoPath: Concolic Exploration of Consistency-Preserving Paths
Bowen Jiang, Miriam Boß, Thomas Weber, W Zhang et autres
Maintaining consistency between related models is achieved through Consistency Preservation Rules (CPRs) that propagate changes from a source model to a target model. However, in many cases, additional input from the maintainer of a target model, based on their domain knowledge, is …