From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach.

Roland Kretschmer, Djamel Eddine Khelladi, Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed

Browse the full APSEC paper archive.