Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets.

Alexander Diedrich, Bjrn Bttcher, Oliver Niggemann

Browse the full ICAART paper archive.