eprintid: 441
rev_number: 6
eprint_status: archive
userid: 4
dir: disk0/00/00/04/41
datestamp: 2015-01-07 07:35:40
lastmod: 2016-08-09 03:14:07
status_changed: 2015-01-07 07:35:40
type: conference_item
metadata_visibility: show
creators_name: Dang, Duc Hanh
creators_name: Cabot, Jordi
creators_id: hanhdd@vnu.edu.vn
title: On Automating Inference of OCL Constraints from Counterexamples and Examples
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2014-10-09
date_type: published
official_url: http://dx.doi.org/10.1007/978-3-319-11680-8_18
full_text_status: none
pres_type: paper
pagerange: 219-231
event_title: 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014)
event_location: Hanoi, Vietnam
event_dates: 9-11 October 2014
event_type: conference
refereed: TRUE
citation:   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.