R. Agrawal, T. Imielinski, and A. Swami, Mining associations between sets of items in massive databases, Proceedings of the International Conference on Management of Data, pp.207-216, 1993.

R. Agrawal and R. Srikant, Fast algorithms for mining association rules, Proceedings of the 20th International Conference on Very Large Data Bases, pp.487-499, 1994.

K. Beck, Test-driven development: by example, 2003.

R. Sergey-brin, J. D. Motwani, S. Ullman, and . Tsur, Dynamic itemset counting and implication rules for market basket data, Proceedings ACM SIGMOD International Conference on Management of Data, pp.255-264, 1997.

P. Cellier, M. Ducassé, S. Ferré, and O. Ridoux, Multiple fault localization with data mining, Int. Conf. on Software Engineering & Knowledge Engineering, pp.238-243, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01119562

P. Cellier, S. Ferré, O. Ridoux, and M. Ducassé, A parameterized algorithm to explore formal contexts with a taxonomy, International Journal of Foundations of Computer Science, vol.19, issue.2, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00363594

H. Cleve and A. Zeller, Locating causes of program failures, Proceedings of the International Conference on Software Engineering, 2005.

V. Dallmeier, C. Lindig, and A. Zeller, Lightweight defect localization for Java, Proceedings of the European Conference on Object-Oriented Programming, vol.3586, pp.528-550, 2005.

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.

T. Denmat, M. Ducassé, and O. Ridoux, Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information, Proceedings of the International Conference on Automated Software Engineering, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00756834

S. Ferré and O. Ridoux, An introduction to logical information systems, Information Processing & Management, vol.40, issue.3, pp.383-419, 2004.

B. Ganter and R. Wille, Formal Concept Analysis: Mathematical Foundations, 1999.

, IEEE. Standard Glossary of Software Engineering Terminology, 1990.

L. Jiang and Z. Su, Context-aware statistical debugging: from bug predictors to faulty control flow paths, Proceedings of the International Conference on Automated Software Engineering, pp.184-193, 2007.
DOI : 10.1145/1321631.1321660

J. A. Jones, J. F. Bowring, and M. J. Harrold, Debugging in parallel, Proceedings of the International Symposium on Software Testing and Analysis, pp.16-26, 2007.

J. A. Jones and M. J. Harrold, Empirical evaluation of the tarantula automatic fault-localization technique, Proceedings of the 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 International Conference on Software Engineering, pp.467-477, 2002.

B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan, Scalable statistical bug isolation, Proceedings of the International Conference on Programming Language Design and Implementation, 2005.
DOI : 10.1145/1064978.1065014

C. Liu, L. Fei, X. Yan, J. Han, and S. P. Midkiff, Statistical debugging: A hypothesis testing-based approach, IEEE Transaction Software Engineering, vol.32, issue.10, pp.831-848, 2006.

J. Glenford, C. Myers, T. Sandler, and . Badgett, The art of software testing, 2011.

Y. Padioleau and O. Ridoux, A logic file system, Proceedings of the USENIX Annual Technical Conference. USENIX, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071929

N. Pasquier, Y. Bastide, R. Taouil, and L. Lakhal, Discovering frequent closed itemsets for association rules, Proceedings of the 7th International Conference on Database Theory, pp.398-416, 1999.
DOI : 10.1007/3-540-49257-7_25
URL : https://hal.archives-ouvertes.fr/hal-00467747

M. Petit and A. Gotlieb, Uniform selection of feasible paths as a stochastic constraint problem, Proceedings of the International Conference on Quality Software, 2007.
DOI : 10.1109/qsic.2007.4385508

M. Renieris and S. P. Reiss, Fault localization with nearest neighbor queries, Proceedings of the International Conference on Automated Software Engineering, 2003.

A. Kenneth, C. R. Ross, and . Wright, Discrete mathematics (3, 1992.

E. Y. Shapiro, Algorithmic Program Debugging, pp.0-262, 1983.

L. Szathmary and A. Napoli, CORON: A Framework for Levelwise Itemset Mining Algorithms, Proceedings of the International Conference on Formal Concept Analysis, pp.110-113, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00001201

T. Tilley, R. Cole, P. Becker, and P. Eklund, A survey of formal concept analysis support for software engineering activities, Proceedings of the International Conference on Formal Concept Analysis, vol.3626, 2005.

R. Wilhelm and D. Maurer, Compiler design, 1995.

W. E. Wong, Y. Qi, L. Zhao, and K. Cai, Effective fault localization using code coverage, Int. Computer Software and Applications Conf, vol.1, pp.449-456, 2007.
DOI : 10.1109/compsac.2007.109

A. X. Zheng, M. I. Jordan, B. Liblit, M. Naik, and A. Aiken, Statistical debugging: simultaneous identification of multiple bugs, Proceedings of the Twenty-Third International Conference on Machine learning, pp.1105-1112, 2006.