@article{DBLP:journals/sosym/GuerraS15,
  author    = {Esther Guerra and Mathias Soeken},
  title     = {Specification-driven model transformation testing},
  journal   = {Software and System Modeling},
  volume    = {14},
  number    = {2},
  pages     = {623--644},
  year      = {2015},
  doi       = {10.1007/s10270-013-0369-x},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}