Résumé
Nous proposons dans cet article une approche basée sur la fouille de motifs ensemblistes sous contraintes pour la localisation des fautes dans les programmes. Nous formalisons le problème de localisation des fautes comme un problème d’extraction des k meilleurs motifs satisfaisant un ensemble de contraintes modélisant les instructions les plus suspectes. Nous faisons appel à la programmation par contraintes pour modéliser et résoudre le problème de localisation. Les expérimentations menées sur une série de programmes montrent que notre approche offre une localisation plus précise comparée à Tarantula.