Shaukat Ali, Tao Yue. Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. In Mercedes G. Merayo, Edgardo Montes de Oca, editors, Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings. Volume 8763 of Lecture Notes in Computer Science, pages 17-31, Springer, 2014. [doi]
Abstract is missing.