| Authors | S. Ali, M. Z. Iqbal, M. Khalid and A. Arcuri |
| Title | Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach |
| Afilliation | Software Engineering, Software Engineering, Software Engineering |
| Project(s) | The Certus Centre (SFI) |
| Status | Published |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Journal | The Empirical Software Engineering Journal (EMSE) |
| Pagination | 1-44 |
| Publisher | Springer |
| Citation Key | 23546 |
