M. Bekkouche, M. Héì-ene-collavizza, and . Rueher, LocFaults, Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC '15, p.15
DOI : 10.1145/2695664.2695822
URL : https://hal.archives-ouvertes.fr/hal-01132780

M. Bekkouche, M. Héì-ene-collavizza, and . Rueher, Une approche CSP pour l'aidèaidè a la localisation d'erreurs, Dixì emes Journées Francophones de Programmation par Contraintes

M. Jose and R. Majumdar, Cause clue clauses : error localization using maximum satisfiability, ACM SIGPLAN Notices, vol.466, pp.437-446, 2011.

M. Jose and R. Majumdar, Bug-Assist: Assisting Fault Localization in ANSI-C Programs, Computer Aided Verification, 2011.
DOI : 10.1007/3-540-45661-9_1

M. Barnett, K. Rustan, and M. Leino, Weakest-precondition of unstructured programs, ACM SIGSOFT Software Engineering Notes, vol.31, issue.1, 2005.

M. Bekkouche, Exploration of the scalability of LocFaults approach for error localization with While-loops programs
URL : https://hal.archives-ouvertes.fr/hal-01132781

J. A. Jones and M. J. Harrold, Empirical evaluation of the tarantula automatic faultlocalization technique, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, 2005.

J. A. Jones, J. Mary-jean-harrold, and . Stasko, Visualization of test information to assist fault localization, Proceedings of the 24th international conference on Software engineering , ICSE '02, 2002.
DOI : 10.1145/581396.581397

R. Abreu, P. Zoeteweij, J. Arjan, and . Van-gemund, On the accuracy of spectrum-based fault localization Testing : Academic and Industrial Conference Practice and Research Techniques-MUTATION, 2007.

M. Y. Chen, Pinpoint : Problem determination in large, dynamic internet services Dependable Systems and Networks, Proceedings. International Conference on, 2002.

M. H. Liffiton and K. A. Sakallah, Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints, Journal of Automated Reasoning, vol.17, issue.1, pp.1-33, 2008.
DOI : 10.1007/s10817-007-9084-z

. Liffiton, H. Mark, and A. Malik, Enumerating infeasibility : Finding multiple muses quickly Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp.160-175, 2013.