Travelled to:1 × Canada
1 × USA
Collaborated with:B.Baudry H.A.Sahraoui M.Faunes B.Combemale
Talks about:metamodel (2) search (2) exampl (2) boundari (1) counter (1) automat (1) formed (1) space (1) model (1) well (1)
Person: Juan José Cadavid
DBLP: Cadavid:Juan_Jos=eacute=
Contributed to:
2013
2012Wrote 2 papers:
- MoDELS-2013-FaunesCBSC #automation #metamodelling
- Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
- ICST-2012-CadavidBS #bound #metamodelling #modelling
- Searching the Boundaries of a Modeling Space to Test Metamodels (JJC, BB, HAS), pp. 131–140.