Dang, Duc Hanh and Cabot, Jordi  (2014) On Automating Inference of OCL Constraints from Counterexamples and Examples.  In: 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014), 9-11 October 2014, Hanoi, Vietnam.