Generating boundary values from OCL constraints using constraints rewriting and search algorithms.

Shaukat Ali, Tao Yue, Xiang Qiu, Hong Lu

Browse the full CEC paper archive.