R. Abreu, P. Zoeteweij, and A. J. Van-gemund, On the Accuracy of Spectrum-based Fault Localization, Testing: Academic and Industrial Conference Practice and Research Techniques, MUTATION (TAICPART-MUTATION 2007), pp.89-98, 2007.
DOI : 10.1109/TAIC.PART.2007.13

M. Barnett and K. R. Leino, Weakest-precondition of unstructured programs, ACM SIGSOFT Software Engineering Notes, vol.31, issue.1, pp.82-87, 2005.
DOI : 10.1145/1108768.1108813

M. Bekkouche, Bug stories, 2015.

M. Bekkouche, H. Collavizza, and M. Rueher, Une approche csp pour l'aidè a la localisation d'erreurs. arXiv preprint arXiv:1404, 2014.

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

M. Y. Chen, E. Kiciman, E. Fratkin, A. Fox, and E. Brewer, Pinpoint: problem determination in large, dynamic Internet services, Proceedings International Conference on Dependable Systems and Networks, pp.595-604, 2002.
DOI : 10.1109/DSN.2002.1029005

E. Clarke, D. Kroening, and F. Lerda, A Tool for Checking ANSI-C Programs, Tools and Algorithms for the Construction and Analysis of Systems, pp.168-176, 2004.
DOI : 10.1007/978-3-540-24730-2_15

H. Collavizza, M. Rueher, and P. Van-hentenryck, CPBPV: a constraint-programming framework for bounded program verification, Constraints, vol.404, issue.3, pp.238-264, 2010.
DOI : 10.1007/s10601-009-9089-9
URL : https://hal.archives-ouvertes.fr/hal-01099509

V. D. 'silva, D. Kroening, and G. Weissenbacher, A survey of automated techniques for formal software verification. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.27, issue.7, pp.1165-1178, 2008.

J. A. Jones and M. J. Harrold, Empirical evaluation of the tarantula automatic fault-localization technique, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.273-282, 2005.
DOI : 10.1145/1101908.1101949

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

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

M. Jose and R. Majumdar, Cause clue clauses, ACM SIGPLAN Notices, vol.46, issue.6, pp.437-446, 2011.
DOI : 10.1145/1993316.1993550

K. Leung, Debugging loops

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

J. Marques-silva, The msuncore maxsat solver. SAT, p.151, 2009.

. Wikipedia, List of software bugs ? wikipedia, the free encyclopediaOnline; accessed 3, 2015.

W. E. Wong and V. Debroy, A Survey on Software Fault Localization, IEEE Transactions on Software Engineering, vol.42, issue.8, 2009.
DOI : 10.1109/TSE.2016.2521368