{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:51:31Z","timestamp":1725472291893},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540490265"},{"type":"electronic","value":"9783540490586"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11925231_109","type":"book-chapter","created":{"date-parts":[[2006,11,6]],"date-time":"2006-11-06T14:48:34Z","timestamp":1162824514000},"page":"1139-1149","source":"Crossref","is-referenced-by-count":3,"title":["Using AI Techniques for Fault Localization in Component-Oriented Software Systems"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"109_CR1","unstructured":"Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control software of autonomous mobile robots. In: Proceedings of the 19th International Joint Conference on AI (IJCAI 2005), Edinburgh, UK, pp. 1742\u20131743 (2005)"},{"key":"109_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence\u00a0111, 3\u201339 (1999)","journal-title":"Artificial Intelligence"},{"key":"109_CR3","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. Artificial Intelligence\u00a032, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"109_CR4","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. Artificial Intelligence\u00a032, 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"109_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(98)00044-7","volume":"102","author":"V. Brusoni","year":"1998","unstructured":"Brusoni, V., Console, L., Terenziani, P., Dupr\u00e9, D.T.: A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence\u00a0102, 39\u201379 (1998)","journal-title":"Artificial Intelligence"},{"key":"109_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(88)90124-X","volume":"29","author":"M. Minoux","year":"1988","unstructured":"Minoux, M.: LTUR: A Simplified Linear-time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. Information Processing Letters\u00a029, 1\u201312 (1988)","journal-title":"Information Processing Letters"},{"key":"109_CR7","first-page":"1025","volume-title":"Proceedings of the 16th Eureopean Conference on Artificial Intelligence","author":"I. Grosclaude","year":"2004","unstructured":"Grosclaude, I.: Model-based monitoring of software components. In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, pp. 1025\u20131026. IOS Press, Amsterdam (2004)"},{"key":"109_CR8","unstructured":"Ardissono, L., Console, L., Goy, A., Petrone, G., Picardi, C., Segnan, M., Dupr\u00e9, D.T.: Cooperative Model-Based Diagnosis of Web Services. In: Proceedings of the 16th International Workshop on Principles of Diagnosis. DX Workshop Series, pp. 125\u2013132 (2005)"},{"key":"109_CR9","unstructured":"Mikaelian, T., Williams, B.C.: Diagnosing complex systems with software-extended behavior using constraint optimization. In: Proceedings of the 16th International Workshop on Principles of Diagnosis. DX Workshop Series, pp. 125\u2013132 (2005)"},{"key":"109_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/582128.582134","volume-title":"WOSS 2002: Proceedings of the first workshop on Self-healing systems","author":"D. Garlan","year":"2002","unstructured":"Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: WOSS 2002: Proceedings of the first workshop on Self-healing systems, pp. 27\u201332. ACM Press, New York (2002)"},{"key":"109_CR11","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D. Luckham","year":"1995","unstructured":"Luckham, D., et al.: Specification and analysis of system architecture using RAPIDE. IEEE Transactions on Software Engineering\u00a021, 336\u2013355 (1995)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","MICAI 2006: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11925231_109.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:45:20Z","timestamp":1619509520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11925231_109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540490265","9783540490586"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11925231_109","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}