@inproceedings{SisLab441,
       booktitle = {2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014)},
           month = {October},
           title = {On Automating Inference of OCL Constraints from Counterexamples and Examples},
          author = {Duc Hanh Dang and Jordi Cabot},
            year = {2014},
           pages = {219--231},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/441/}
}