Formal concept analysis applied to fault localization

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 991-994

  Cellier, Peggy ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Association rules; Data mining; Debugging; Fault localization; Formal concept analysis

Indexed keywords

ASSOCIATION RULES; ASSOCIATIVE PROCESSING; INFORMATION MANAGEMENT; SOFTWARE ENGINEERING; TREES (MATHEMATICS); DATA MINING; SOFTWARE DESIGN;

ABSTRACT SYNTAX TREES; DATA MINING; DEBUGGING; EXECUTION TRACES; FAULT LOCALIZATION; FORMAL CONCEPT ANALYSIS; TIME-CONSUMING TASKS;

PROGRAM DEBUGGING;

ABSTRACT SYNTAX TREES; DEBUGGING; EXECUTION TRACE; FAULT LOCALIZATION; FORMAL CONCEPT ANALYSIS; TIME-CONSUMING TASKS;

EID: 57349116027     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1370175.1370220     Document Type: Conference Paper

References (12)

1. R. Agrawal, T. Imielinski, and A. N. Swami. Mining association rules between sets of items in large databases. In Int. Conf. on Management of Data. ACM Press, 1993.
2. P. Cellier, M. Ducassé, S. Ferré, and O. Ridoux. Formal concept analysis enhances fault localization in software. In Int. Conf. on Formal Concept Analysis. Springer, 2008.
3. P. Cellier, S. Ferré, O. Ridoux, and M. Ducassé. A parameterized algorithm to explore formal contexts with a taxonomy. Int. Journal of Foundations of Computer Science. To appear.
4. H. Cleve and A. Zeller. Locating causes of program failures. In Int. Conf. on Soft. Eng. ACM Press, 2005.
5. T. Denmat, M. Ducassé, and O. Ridoux. Data mining and cross-checking of execution traces. In Int. Conf. on Automated Soft. Eng. ACM, 2005.
6. H. Do. S. G. Elbaum, and G. Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Soft. Eng.: An Int. Journal, 10(4):405-435, 2005.
7. B. Ganter and R. Wille. Formal Concept Analysis: Mathematical Foundations. Springer, 1999.
8. J. A. Jones, M. Harrold, and J. T. Stasko. Visualization of test information to assist fault localization. In Int. Conf. on Soft. Eng. ACM, 2002.
9. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In Conf. on Programming Language Design and Implementation, pages 15-26. ACM Press, 2005.
10. C. Liu, X. Yan, L. Fei, J. Han, and S. P. Midkiff. Sober: statistical model-based bug localization. In Eur. Soft. Eng. Conf./FSE. ACM Press, 2005.
11. M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In Int. Conf. on Automated Software Engineering. IEEE, 2003.
12. G. Snelting. Concept lattices in software analysis. In Formal Concept Analysis. Springer, 2005.