An automated and instant discovery of concrete repairs for model inconsistencies

Roland KretschmerDjamel Eddine KhelladiAlexander Egyed

ICSE '18: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Developers change software models continuously but often fail in keeping them consistent. Inconsistencies caused by such changes need to be repaired eventually. While we found that usually few model elements need to be repaired for any given inconsistency, there are many possible repair values for any given model element. To make matters worse, model elements need to be repaired in combination. The result is a large and exponentially growing repair space. In this paper we present an approach towards grouping alike repair values if they have the same effect to provide example-like feedback for developers. A preliminary evaluation shows that our approach can more scalably explore the repair space.