On Automating Inference of OCL Constraints from Counterexamples and Examples

Advances in Intelligent Systems and Computing - Knowledge and Systems Engineering ◽

10.1007/978-3-319-11680-8_18 ◽

2015 ◽

pp. 219-231

Author(s):

Duc-Hanh Dang ◽

Jordi Cabot

Download Full-text