Alloy Repair Hint Generation Based on Historical Data.

Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva

Browse the full FM paper archive.