relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/441/
title: On Automating Inference of OCL Constraints from Counterexamples and Examples
creator: Dang, Duc Hanh
creator: Cabot, Jordi
subject: Information Technology (IT)
date: 2014-10-09
type: Conference or Workshop Item
type: PeerReviewed
identifier:   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.     
relation: http://dx.doi.org/10.1007/978-3-319-11680-8_18