Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples.

Martin Faunes, Juan Jos Cadavid, Benoit Baudry, Houari A. Sahraoui, Benot Combemale

Browse the full MODELS paper archive.