{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:33:36Z","timestamp":1725532416817},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540928133"},{"type":"electronic","value":"9783540928140"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-92814-0_36","type":"book-chapter","created":{"date-parts":[[2009,5,11]],"date-time":"2009-05-11T17:39:55Z","timestamp":1242063595000},"page":"233-239","source":"Crossref","is-referenced-by-count":1,"title":["A Model-Based Software Reasoning Approach to Software Debugging"],"prefix":"10.1007","author":[{"given":"Rui","family":"Abreu","sequence":"first","affiliation":[]},{"given":"Peter","family":"Zoeteweij","sequence":"additional","affiliation":[]},{"given":"Arjan J. C.","family":"van Gemund","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Proc. TAIC PART 2007 (2007)","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: A Dynamic Modeling Approach to Software Multiple-fault Localization. In: Proc. DX 2008 (2008)","DOI":"10.1109\/ASE.2009.25"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: An observation-based model for fault localization. In: Proc. WODA 2008 (2008)","DOI":"10.1145\/1401827.1401841"},{"key":"36_CR4","unstructured":"De Kleer, J.: Diagnosing intermittent faults. In: Proc. DX 2007 (2007)"},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer De","year":"1992","unstructured":"De Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing diagnoses and systems. Artif. Intell.\u00a056, 197\u2013222 (1992)","journal-title":"Artif. Intell."},{"issue":"1","key":"36_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer De","year":"1987","unstructured":"De Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell.\u00a032(1), 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-540-24730-2_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Groce","year":"2004","unstructured":"Groce, A.: Error explanation with distance metrics. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 108\u2013122. Springer, Heidelberg (2004)"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic fault-localization technique. In: Proc. ASE 2005 (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Liu, C., Yan, X., Fei, L., Han, J., Midkiff, S.P.: Sober: Statistical model-based bug localization. In: Proc. ESEC\/FSE-13","DOI":"10.1145\/1081706.1081753"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Mayer, W., Stumptner, M.: Evaluating models for model-based debugging. In: Proc. ASE 2008 (2008)","DOI":"10.1109\/ASE.2008.23"},{"key":"36_CR11","unstructured":"Pucel, X., Bocconi, S., Picardi, C., Dupre, D., Massuyes, L.: Diagnosability analysis for web services with constraint-based models. In: Proc. DX 2007 (2007)"},{"issue":"1","key":"36_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R.. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell.\u00a032(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Proc. ASE 2003 (2003)","DOI":"10.1109\/ASE.2003.1240292"},{"key":"36_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1007\/3-540-48035-8_72","volume-title":"Developments in Applied Artificial Intelligence","author":"F. Wotawa","year":"2002","unstructured":"Wotawa, F., Stumptner, M., Mayer, W.: Model-based debugging or how to diagnose programs automatically. In: Hendtlass, T., Ali, M. (eds.) IEA\/AIE 2002. LNCS, vol.\u00a02358, p. 746. Springer, Heidelberg (2002)"}],"container-title":["Studies in Computational Intelligence","Opportunities and Challenges for Next-Generation Applied Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92814-0_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:21:19Z","timestamp":1558311679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92814-0_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540928133","9783540928140"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92814-0_36","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}