TY - RPRT TI - Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs AU - Mohammed Bekkouche AU - Hélène Collavizza AU - Michel Rueher PY - 2015 UR - https://arxiv.org/abs/1505.06324 ID - 1505.06324 ER -