Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé. Proving or Disproving likely Invariants with Constraint Reasoning. In Alexander Serebrenik, Susana Muñoz-Hernández, editors, Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005. pages 1-13, 2005. [doi]
Abstract is missing.