%A Duc Hanh Dang
%A Jordi Cabot
%T On Automating Inference of OCL Constraints from Counterexamples and Examples
%C Hanoi, Vietnam
%D 2014
%P 219-231
%L SisLab441