Alexander Diedrich, Björn Böttcher, Oliver Niggemann. Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets. In H. Jaap van den Herik, Joaquim Filipe, editors, Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, Rome, Italy, February 24-26, 2016. pages 280-287, SciTePress, 2016. [doi]
Abstract is missing.