{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:31:49Z","timestamp":1725503509086},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781363"},{"type":"electronic","value":"9783540781370"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78137-0_20","type":"book-chapter","created":{"date-parts":[[2008,2,13]],"date-time":"2008-02-13T23:34:46Z","timestamp":1202945686000},"page":"273-288","source":"Crossref","is-referenced-by-count":20,"title":["Formal Concept Analysis Enhances Fault Localization in Software"],"prefix":"10.1007","author":[{"given":"Peggy","family":"Cellier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mireille","family":"Ducass\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Ferr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Ridoux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/11880240_36","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Ar\u00e9valo","year":"2006","unstructured":"Ar\u00e9valo, G., et al.: Building abstractions in class models: Formal concept analysis in a model-driven approach. In: Nierstrasz, O., et al. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 513\u2013527. Springer, Heidelberg (2006)"},{"key":"20_CR2","volume-title":"Int. Conf. on Management of Data","author":"R. Agrawal","year":"1993","unstructured":"Agrawal, R., Imielinski, T., Swami, A.N.: Mining association rules between sets of items in large databases. In: Buneman, P., Jajodia, S. (eds.) Int. Conf. on Management of Data, ACM Press, New York (1993)"},{"key":"20_CR3","first-page":"487","volume-title":"Int. Conf. Very Large Data Bases","author":"R. Agrawal","year":"1994","unstructured":"Agrawal, R., Srikant, R.: Fast algorithms for mining association rules. In: Bocca, J.B., Jarke, M., Zaniolo, C. (eds.) Int. Conf. Very Large Data Bases, pp. 487\u2013499. Morgan Kaufmann, San Francisco (1994)"},{"key":"20_CR4","first-page":"255","volume-title":"Proc. Int. Conf. on Management of Data","author":"S. Brin","year":"1997","unstructured":"Brin, S., et al.: Dynamic itemset counting and implication rules for market basket data. In: Peckham, J. (ed.) Proc. Int. Conf. on Management of Data, pp. 255\u2013264. ACM Press, New York (1997)"},{"key":"20_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70901-5_8","volume-title":"Formal Concept Analysis","author":"P. Cellier","year":"2007","unstructured":"Cellier, P., et al.: A parameterized algorithm for exploring concept lattices. In: Kuznetsov, S.O., Schmidt, S. (eds.) ICFCA 2007. LNCS (LNAI), vol.\u00a04390, Springer, Heidelberg (2007)"},{"key":"20_CR6","first-page":"342","volume-title":"Int. Conf. on Software Engineering","author":"H. Cleve","year":"2005","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: Int. Conf. on Software Engineering, pp. 342\u2013351. ACM Press, New York (2005)"},{"key":"20_CR7","volume-title":"Int. Conf. on Automated Software Engineering","author":"T. Denmat","year":"2005","unstructured":"Denmat, T., Ducass\u00e9, M., Ridoux, O.: Data mining and cross-checking of execution traces: a re-interpretation of jones, harrold and stasko test information. In: Int. Conf. on Automated Software Engineering, ACM, New York (2005)"},{"key":"20_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/11528784_16","volume-title":"Formal Concept Analysis","author":"R. Godin","year":"2005","unstructured":"Godin, R., Valtchev, P.: Formal concept analysis-based class hierarchy design in object-oriented software development. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626, pp. 304\u2013323. Springer, Heidelberg (2005)"},{"key":"20_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1002\/1099-1689(200009)10:3<171::AID-STVR209>3.0.CO;2-J","volume":"10","author":"M.J. Harrold","year":"2000","unstructured":"Harrold, M.J., et al.: An empirical investigation of the relationship between spectra differences and regression faults. Softw. Test., Verif. Reliab.\u00a010(3), 171\u2013194 (2000)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"20_CR11","first-page":"467","volume-title":"Int. Conf. on Software Engineering","author":"J.A. Jones","year":"2002","unstructured":"Jones, J.A., Harrold, M.J., Stasko, J.T.: Visualization of test information to assist fault localization. In: Int. Conf. on Software Engineering, pp. 467\u2013477. ACM, New York (2002)"},{"key":"20_CR12","first-page":"15","volume-title":"Conf. on Programming Language Design and Implementation","author":"B. Liblit","year":"2005","unstructured":"Liblit, B., et al.: Scalable statistical bug isolation. In: Conf. on Programming Language Design and Implementation, pp. 15\u201326. ACM Press, New York (2005)"},{"key":"20_CR13","volume-title":"European Software Engineering Conf. held jointly with Int. Symp. on Foundations of Software Engineering","author":"C. Liu","year":"2005","unstructured":"Liu, C., et al.: Sober: statistical model-based bug localization. In: European Software Engineering Conf. held jointly with Int. Symp. on Foundations of Software Engineering, ACM Press, New York (2005)"},{"key":"20_CR14","first-page":"398","volume-title":"Int. Conf. on Database Theory","author":"N. Pasquier","year":"1999","unstructured":"Pasquier, N., et al.: Discovering frequent closed itemsets for association rules. In: Int. Conf. on Database Theory, pp. 398\u2013416. Springer, Heidelberg (1999)"},{"key":"20_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11671404_16","volume-title":"Formal Concept Analysis","author":"J.L. Pfaltz","year":"2006","unstructured":"Pfaltz, J.L.: Using concept lattices to uncover causal dependencies in software. In: Missaoui, R., Schmidt, J. (eds.) Formal Concept Analysis. LNCS (LNAI), vol.\u00a03874, pp. 233\u2013247. Springer, Heidelberg (2006)"},{"key":"20_CR16","volume-title":"Int. Conf. on Quality Software","author":"M. Petit","year":"2007","unstructured":"Petit, M., Gotlieb, A.: Uniform selection of feasible paths as a stochastic constraint problem. In: Int. Conf. on Quality Software, October 2007, IEEE, Los Alamitos (2007)"},{"key":"20_CR17","volume-title":"Int. Conf. on Automated Software Engineering","author":"M. Renieris","year":"2003","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Int. Conf. on Automated Software Engineering, IEEE, Los Alamitos (2003)"},{"key":"20_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/11528784_14","volume-title":"Formal Concept Analysis","author":"G. Snelting","year":"2005","unstructured":"Snelting, G.: Concept lattices in software analysis. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626, pp. 272\u2013287. Springer, Heidelberg (2005)"},{"key":"20_CR19","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Formal Concept Analysis","author":"T. Tilley","year":"2005","unstructured":"Tilley, T., et al.: A survey of formal concept analysis support for software engineering activities. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78137-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:16:11Z","timestamp":1558264571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78137-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540781363","9783540781370"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78137-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}