Paper accepted at TSE

Our survey on model repair techniques has just been accepted at the IEEE Transactions on Software Engineering (TSE)