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

  • By
by Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale
View PDF
Reference:
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2013.
Bibtex Entry:
@inproceedings{faunes13,
    keywords = {MDE, test, selected},
      hal_id = {hal-00923789},
      url = {http://hal.inria.fr/hal-00923789},
      title = {{Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples}},
      author = {Faunes, Martin and Cadavid, Juan and Baudry, Benoit and Sahraoui, Houari and Combemale, Benoit},
      booktitle = {{Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS)}},
      pages = {187-202},
    	X-International-Audience = {yes},
    	X-Language = {EN},
    	x-abbrv = {MODELS},
      year = {2013},
      pdf = {http://hal.inria.fr/hal-00923789/PDF/DerivingOCLInv_main.pdf},
  }