@misc{13739,
  author = {Sagar Sen},
  title = {On combining multi-formalism knowledge to select models for model transformation testing},
  year = {2008},
  pages = {328{\textendash}337},
  publisher = {IEEE},
}