@inproceedings{DBLP:conf/caise/Gomez-AbajoGLM20,
  author       = {Pablo G{\'{o}}mez{-}Abajo and
                  Esther Guerra and
                  Juan de Lara and
                  Mercedes G. Merayo},
  editor       = {Nicolas Herbaut and
                  Marcello La Rosa},
  title        = {Seed Model Synthesis for Testing Model-Based Mutation Operators},
  booktitle    = {Advanced Information Systems Engineering - CAiSE Forum 2020, Grenoble,
                  France, June 8-12, 2020, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {386},
  pages        = {64--76},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58135-0\_6},
  doi          = {10.1007/978-3-030-58135-0\_6},
}