@misc{13418,
  author = {Sagar Sen},
  title = {Discovering Model Transformation Pre-conditions using Automatically Generated Test Models},
  year = {2015},
  journal = {International Symposium of Software Reliability Engineering, Gaithersburg, USA},
}