| Authors | S. Ali, T. Yue, X. Qiu and H. Lu |
| Title | Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms |
| Afilliation | Software Engineering |
| Project(s) | The Certus Centre (SFI), MBE-CR: An Innovative Approach for Longstanding Development and Maintenance of the Automated Cancer Registry System |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 2016 |
| Conference Name | IEEE World Congress on Computational Intelligence |
| Citation Key | 24467 |
