LocFaults, une approche bornée à base de contraintes pour l'aide à la localisation d'erreurs
LocFaults: Une nouvelle approche basée sur les contraintes et dirigée par les flux pour la localisation d'erreurs.
Une approche incrémentale combinant les techniques BMC et un problème CSP pour l'aide à la localisation d'erreurs