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 |