An automated and instant discovery of concrete repairs for model inconsistencies

Kretschmer, Roland; Khelladi, Djamel Eddine; Egyed, Alexander

doi:10.1145/3183440.3194979

by Roland Kretschmer, Djamel Eddine Khelladi, Alexander Egyed

Abstract:

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.

View PDF

Reference:

An automated and instant discovery of concrete repairs for model inconsistencies (Roland Kretschmer, Djamel Eddine Khelladi, Alexander Egyed), In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018 (Michel Chaudron, vica Crnkovic, Marsha Chechik, Mark Harman, eds.), ACM, 2018.

Bibtex Entry:

@Conference{DBLP:conf/icse/KretschmerKE18,
  author    = {Roland Kretschmer and Djamel Eddine Khelladi and Alexander Egyed},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
  title     = {An automated and instant discovery of concrete repairs for model inconsistencies},
  year      = {2018},
  editor    = {Michel Chaudron and vica Crnkovic and Marsha Chechik and Mark Harman},
  pages     = {298--299},
  publisher = {ACM},
  abstract  = {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.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/icse/KretschmerKE18},
  crossref  = {DBLP:conf/icse/2018c},
  doi       = {10.1145/3183440.3194979},
  file      = {:Conferences/ICSE 2018 - An Automated and Instant Discovery of Concrete Repairs/An automated and instant discovery of concrete repairs for model inconsistencies-preprint.pdf:PDF},
  keywords  = {FWF P25513},
  timestamp = {Tue, 04 Sep 2018 11:30:50 +0200},
  url       = {http://doi.acm.org/10.1145/3183440.3194979},
}