@misc{15014,
  author = {Tao Yue},
  title = {Automated Refactoring of OCL Constraints with Search},
  year = {2018},
  journal = {ICSE 2018, Gothenburg, Sweden},
}