, Interest: The authors declare that they have no conflict of interest

H. Agrawal, R. A. Demillo, and E. H. Spafford, Debugging with dynamic slicing and backtracking. Softw, Pract Exper, vol.23, issue.6, pp.589-616, 1993.
DOI : 10.1002/spe.4380230603

P. Cellier, M. Ducassé, S. Ferré, and O. Ridoux, Formal concept analysis enhances fault localization in software, Formal Concept Analysis, pp.273-288, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00363593

P. Cellier, M. Ducassé, S. Ferré, and O. Ridoux, Dellis: A data mining process for fault localization, Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), pp.432-437, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01119579

P. Cellier, M. Ducassé, S. Ferré, and O. Ridoux, Multiple fault localization with data mining, Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), pp.238-243, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01119562

H. Cleve and A. Zeller, Locating causes of program failures, 27th International Conference on Software Engineering (ICSE 2005, pp.342-351, 2005.

B. Crémilleux and A. Soulet, Discovering knowledge from local patterns with global constraints, ICCSA (2), pp.1242-1257, 2008.

L. De-raedt and A. Zimmermann, Constraint-based pattern set mining, Proceedings of the Seventh SIAM International Conference on Data Mining, 2007.

L. De-raedt, T. Guns, and S. Nijssen, Constraint programming for itemset mining, Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining, pp.204-212, 2008.

R. A. Demillo, R. J. Lipton, and F. G. Sayward, Hints on test data selection: Help for the practicing programmer, Computer, vol.11, issue.4, pp.34-41, 1978.

E. Wong, W. Debroy, V. Choi, and B. , A family of code coverage-based heuristics for effective fault localization, Journal of Systems and Software, vol.83, issue.2, pp.188-208, 2010.

A. Gonzalez-sanchez, R. Abreu, H. G. Gross, and A. J. Van-gemund, Prioritizing tests for fault localization through ambiguity group reduction, 26th IEEE/ACM International Conference on, pp.83-92, 2011.

T. Guns, S. Nijssen, D. Raedt, and L. , Itemset mining: A constraint programming perspective, Artificial Intelligence, vol.175, issue.12, pp.1951-1983, 2011.
DOI : 10.1016/j.artint.2011.05.002

URL : https://doi.org/10.1016/j.artint.2011.05.002

M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, Experiments of the effectiveness of dataflow-and controlflow-based test adequacy criteria, Proceedings of the 16th international conference on Software engineering, pp.191-200, 1994.

J. A. Jones and M. J. Harrold, Empirical evaluation of the tarantula automatic fault-localization technique, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 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 22rd International Conference on Software Engineering, pp.467-477, 2002.

M. Khiari, P. Boizumault, and B. Crémilleux, Constraint programming for mining n-ary patterns, CP'10, vol.6308, pp.552-567, 2010.
DOI : 10.1007/978-3-642-15396-9_44

URL : https://hal.archives-ouvertes.fr/hal-01016652

J. C. Laprie, A. Avizienis, and H. Kopetz, Dependability: Basic Concepts and Terminology, 1992.
DOI : 10.1007/978-3-7091-9170-5_1

H. Mannila and H. Toivonen, Levelwise search and borders of theories in knowledge discovery, Data Mining and Knowledge Discovery, vol.1, issue.3, pp.241-258, 1997.

S. Nessa, M. Abedin, W. E. Wong, L. Khan, and Y. Qi, Software fault localization using n-gram analysis, Wireless Algorithms, Systems, and Applications, pp.548-559, 2008.

P. K. Novak, N. Lavrac, and G. I. Webb, Supervised descriptive rule discovery: A unifying survey of contrast set, emerging pattern and subgroup mining, Journal of Machine Learning Research, vol.10, pp.377-403, 2009.

L. Ott, M. Longnecker, and R. Ott, An introduction to statistical methods and data analysis, vol.511, 2001.

M. Renieres and S. P. Reiss, Fault localization with nearest neighbor queries, Proceedings. 18th IEEE International Conference on, pp.30-39, 2003.

W. U. Rojas, P. Boizumault, S. Loudni, B. Crémilleux, and A. Lepailleur, Mining (soft-) skypatterns using dynamic CSP, Integration of AI and OR Techniques in Constraint Programming-11th International Conference, vol.8451, pp.71-87, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01024756

F. Rossi, B. Pv, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence), 2006.

I. Vessey, Expertise in debugging computer programs: A process analysis, International Journal of Man-Machine Studies, vol.23, issue.5, pp.459-494, 1985.

W. E. Wong and V. Debroy, A survey of software fault localization, 2009.

A. Zeller, Isolating cause-effect chains from computer programs, Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering, pp.1-10, 2002.