T. Ball, M. Naik, and S. K. Rajamani, From symptom to cause : localizing errors in counterexample traces, Proceedings of POPL, pp.97-105, 2003.

M. Barnett, K. Rustan, and M. Leino, Weakest-precondition of unstructured programs, PASTE'05, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, pp.82-87, 2005.

I. Beer, S. Ben-david, H. Chockler, A. Orni, and R. J. Trefler, Explaining Counterexamples Using Causality, Proceedings of CAV, pp.94-108, 2009.
DOI : 10.1007/978-3-642-02658-4_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.1935

E. Birnbaum and E. L. Lozinskii, Consistent subsets of inconsistent systems: structure and behaviour, Journal of Experimental & Theoretical Artificial Intelligence, vol.15, issue.1, pp.25-46, 2003.
DOI : 10.1080/0952813021000026795

J. W. Chinneck, Localizing and Diagnosing Infeasibilities in Networks, INFORMS Journal on Computing, vol.8, issue.1, pp.55-62, 1996.
DOI : 10.1287/ijoc.8.1.55

J. W. Chinneck, Fast Heuristics for the Maximum Feasible Subsystem Problem, INFORMS Journal on Computing, vol.13, issue.3, pp.210-223, 2001.
DOI : 10.1287/ijoc.13.3.210.12632

J. W. Chinneck, Feasibility and Infeasibility in Optimization : Algorithms and Computational Methods, 2008.

M. Héì-ene-collavizza, P. Rueher, and . 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

A. Felfernig, M. Schubert, and C. Zehentner, Abstract, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, vol.24, issue.01, pp.53-62, 2012.
DOI : 10.1016/0957-4174(94)90072-8

A. Griesmayer, R. Bloem, and B. Cook, Repair of Boolean Programs with an Application to C, Proceedings of CAV, pp.358-371, 2006.
DOI : 10.1007/11817963_33

A. Griesmayer, S. Staber, and R. Bloem, Automated Fault Localization for C Programs, Electronic Notes in Theoretical Computer Science, vol.174, issue.4, pp.95-111, 2007.
DOI : 10.1016/j.entcs.2006.12.032

A. Groce, S. Chaki, D. Kroening, and O. Strichman, Error explanation with distance metrics, International Journal on Software Tools for Technology Transfer, vol.28, issue.2, pp.229-247, 2006.
DOI : 10.1007/s10009-005-0202-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.9348

A. Groce, D. Kroening, and F. Lerda, Understanding Counterexamples with explain, Proceedings of CAV, pp.453-456, 2004.
DOI : 10.1007/978-3-540-27813-9_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.5767

A. James, M. J. Jones, and . Harrold, Empirical evaluation of the tarantula automatic faultlocalization technique, ASE, IEEE/ACM International Conference on Automated Software Engineering, pp.273-282, 2005.

J. A. Jones, M. J. Harrold, and J. T. 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, Proceedings of CAV, pp.504-509, 2011.
DOI : 10.1007/3-540-45661-9_1

M. Jose and R. Majumdar, Cause clue clauses : error localization using maximum satisfiability, Proceedings of PLDI, pp.437-446, 2011.

U. Junker, Quickxplain : Preferred explanations and relaxations for over-constrained problems, Proceedings of AAAI, pp.167-172, 2004.

S. Lamraoui and S. Nakajima, A formula-based approach for automatic fault localization in imperative programs. NII research report, 2014.

H. Mark, A. Liffiton, and . Malik, Enumerating infeasibility : Finding multiple muses quickly, Proc. of CPAIOR, pp.160-175, 2013.

H. Mark, K. A. Liffiton, and . Sakallah, Algorithms for computing minimal unsatisfiable subsets of constraints, J. Autom. Reasoning, vol.40, issue.1, pp.1-33, 2008.

Y. Liu and B. Li, Automated program debugging via multiple predicate switching, Proceedings of AAAI, 2010.

J. Marques-silva, F. Heras, M. Janota, A. Previti, and A. Belov, On computing minimal correction subsets, Proc. of IJCAI. IJCAI/AAAI, 2013.

M. Renieris and S. P. Reiss, Fault localization with nearest neighbor queries, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.30-39, 2003.
DOI : 10.1109/ASE.2003.1240292

S. David, E. J. Rosenblum, and . Weyuker, Lessons learned from a regression testing case study, Empirical Software Engineering, vol.2, issue.2, pp.188-191, 1997.

M. Tamiz, S. J. Mardle, and D. F. Jones, Detecting iis in infeasible linear programmes using techniques from goal programming, Computers & Operations Research, vol.23, issue.2, pp.113-119, 1996.
DOI : 10.1016/0305-0548(95)00018-H

X. Zhang, N. Gupta, and R. Gupta, Locating faults through automated predicate switching, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.272-281, 2006.
DOI : 10.1145/1134285.1134324