Generating boundary values from OCL constraints using constraints rewriting and search algorithms | IEEE Conference Publication | IEEE Xplore