Computing repair trees for resolving inconsistencies in design models

  title={Computing repair trees for resolving inconsistencies in design models},
  author={Alexander Reder and Alexander Egyed},
  journal={2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering},
Resolving inconsistencies in software models is a complex task because the number of repairs grows exponentially. Existing approaches thus emphasize on selected repairs only but doing so diminishes their usefulness. This paper copes with the large number of repairs by focusing on what caused an inconsistency and presenting repairs as a linearly growing repair tree. The cause is computed by examining the run-time evaluation of the inconsistency to understand where and why it failed. The… CONTINUE READING
Highly Cited
This paper has 70 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS
26 Citations
1 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 26 extracted citations

70 Citations

Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…