K. Leung, Debugging Loops

M. Bekkouche, M. Héì-ene-collavizza, and . Rueher, Une approche CSP pour l'aidè a la localisation d'erreurs, 2014.

M. Bekkouche, M. Héì-ene-collavizza, and . 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. Barnett, K. Rustan, and M. Leino, Weakestprecondition of unstructured programs, ACM SIG- SOFT Software Engineering Notes, vol.31, issue.1, 2005.

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

M. Bekkouche, Bug stories

. Wikipedia, List of software bugs ? Wikipedia , The Free Encyclopedia

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

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

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

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.

J. Marques-silva, The msuncore maxsat solver SAT 2009 competitive events booklet : preliminary version, p.151, 2009.