On Automating Inference of OCL Constraints from Counterexamples and Examples | Publicación