1 paper
Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
We introduce in this paper a new CP-based approach to support errors location in a program for which a counter-example is available, i.e. an instantiation of the input variables th…