Shaukat Ali, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri. Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach. Empirical Software Engineering, 21(6):2459-2502, 2016. [doi]
Abstract is missing.