A CLP heap solver for test case generation | Publicación