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

M. Bekkouche, Bug stories, 2015.

M. Bekkouche, Exploration of the scalability of locfaults approach for error localization with while-loops programs. arXiv preprint, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01132781

M. Bekkouche, H. Collavizza, and M. Rueher, Une approche csp pour l'aide à la localisation d'erreurs, Dixièmes Journées Francophones de Programmation par Contraintes, p.httpjfpc
URL : https://hal.archives-ouvertes.fr/hal-00957255

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. Bekkouche, H. Collavizza, and M. Rueher, Un algorithme incrémental dirigé par les ots et basé sur les contraintes pour l'aide à la localisation d'erreurs. arXiv preprint, 2015.

M. Bekkouche, M. Rueher, and H. Collavizza, Constraint-based error localization, 2015 INFORMS Computing Society Conference (ICS), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01094227

H. Collavizza, M. Rueher, and P. Van-hentenryck, Cpbpv : a constraint-programming framework for bounded program verication, Constraints, vol.15, issue.2, p.238264, 2010.

D. Vijay, D. Kroening, and G. Weissenbacher, A survey of automated techniques for formal software verication. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.27, issue.7, p.11651178, 2008.

A. Griesmayer, S. Staber, and R. Bloem, Automated Fault Localization for C Programs, Electronic Notes in Theoretical Computer Science, vol.174, issue.4, p.95111, 2007.
DOI : 10.1016/j.entcs.2006.12.032
URL : http://doi.org/10.1016/j.entcs.2006.12.032

M. Jose and R. Majumdar, Bug-Assist: Assisting Fault Localization in ANSI-C Programs, Proceedings of CAV, p.504509, 2011.
DOI : 10.1007/3-540-45661-9_1

M. Jose and R. Majumdar, Cause clue clauses : error localization using maximum satisability, Proceedings of PLDI, p.437446, 2011.

H. Mark, K. A. Liton, and . Sakallah, Algorithms for computing minimal unsatisable subsets of constraints, J. Autom. Reasoning, vol.40, issue.1, p.133, 2008.

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

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

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

X. Zhang, N. Gupta, and R. Gupta, Locating faults through automated predicate switching, Proceeding of the 28th international conference on Software engineering , ICSE '06, p.272281, 2006.
DOI : 10.1145/1134285.1134324
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.2976