Duc-Hanh Dang, Jordi Cabot. On Automating Inference of OCL Constraints from Counterexamples and Examples. In Viet Ha Nguyen, Anh-Cuong Le, Van-Nam Huynh, editors, Knowledge and Systems Engineering - Proceedings of the Sixth International Conference KSE 2014, Hanoi, Vietnam, 9-11 October 2014. Volume 326 of Advances in Intelligent Systems and Computing, pages 219-231, Springer, 2014. [doi]
Abstract is missing.