METRECoP: a methodology for identifying METamorphic RElations through Constraint Programming | Publicación