@article{13277,
  author = {Shaukat Ali and Muhammad Iqbal and Maham Khalid and Andrea Arcuri},
  title = {Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach},
  year = {2015},
  journal = {The Empirical Software Engineering Journal (EMSE)},
  pages = {1-44},
  publisher = {Springer},
}