@Conference{9402245,
  author    = {Christoph Mayr-Dorn and Roland Kretschmer and Alexander Egyed and Ruben Heradio and David Fernández-Amorós},
  booktitle = {2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)},
  title     = {Inconsistency-tolerating guidance for software engineering processes},
  year      = {2021},
  address   = {Los Alamitos, CA, USA},
  month     = {may},
  pages     = {6-10},
  publisher = {IEEE Computer Society},
  abstract  = {Software processes, together with software quality assurance, focus on ensuring and attesting that the engineering processes result in the appropriate software quality. Complex processes and regulations (e.g., in safety-critical systems), time pressure, or coordination needs, often cause engineers to deviate from prescribed processes, producing a cascade of inconsistencies whose repair is typically troublesome. Accordingly, guidance is needed to help engineers to fix the inconsistencies and understand the implications of postponing inconsistency resolution until engineers reach a consensual agreement of the most convenient repair. To this end, we bring together techniques and methods from process engineering, model inconsistency checking, and formal methods. Preliminary evaluations with real industry data have demonstrated the ability of our early prototype to track process inconsistencies across time and the potential for automated repair.},
  doi       = {10.1109/ICSE-NIER52604.2021.00010},
  file      = {:Conferences/ICSE NIER 2021 - Inconsistency-tolerating guidance for software engineering processes/Inconsistency-tolerating guidance for software engineering processes-preprint.pdf:PDF},
  keywords  = {FWF P29415, FWF P31989, LIT CEME, LIT Secure and Correct Systems Lab},
  url       = {https://doi.ieeecomputersociety.org/10.1109/ICSE-NIER52604.2021.00010},
}