{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T00:40:35Z","timestamp":1768869635194,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540437819","type":"print"},{"value":"9783540480358","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48035-8_72","type":"book-chapter","created":{"date-parts":[[2007,11,18]],"date-time":"2007-11-18T07:05:25Z","timestamp":1195369525000},"page":"746-757","source":"Crossref","is-referenced-by-count":25,"title":["Model-Based Debugging or How to Diagnose Programs Automatically"],"prefix":"10.1007","author":[{"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Mayer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"72_CR1","unstructured":"Lieberman, H.: The debugging scandal and what to do about it. Communications of the ACM 40 (1997)"},{"key":"72_CR2","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slices when debugging. Communications of the ACM 25 (1982)446\u2013452","journal-title":"Communications of the ACM"},{"key":"72_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E.: Algorithmic Program Debugging. MIT Press, Cambridge, Massachusetts (1983)"},{"key":"72_CR4","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 32 (1987) 57\u201395","journal-title":"Artificial Intelligence"},{"key":"72_CR5","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 32 (1987) 97\u2013130","journal-title":"Artificial Intelligence"},{"key":"72_CR6","unstructured":"Mateis, C., Stumptner, M., Wotawa, F.: Modeling Java Programs for Diagnosis. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany (2000)"},{"key":"72_CR7","unstructured":"Stumptner, M., Wotawa, F.: Debugging Functional Programs. In: Proceedings 16th International Joint Conf. on Artificial Intelligence, Stockholm, Sweden (1999) 1074\u20131079"},{"key":"72_CR8","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 111 (1999) 3\u201339","journal-title":"Artificial Intelligence"},{"key":"72_CR9","doi-asserted-by":"crossref","unstructured":"de Kleer, J., Mackworth, A. K., Reiter, R.: Characterizing diagnosis and systems. Artificial Intelligence 56 (1992)","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"72_CR10","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A Survey of Program Slicing Techniques. Journal of Programming Languages 3 (1995) 121\u2013189","journal-title":"Journal of Programming Languages"},{"key":"72_CR11","unstructured":"Murray, W. R.: Automatic Program Debugging for Intelligent Tutoring Systems. Pitman Publishing (1988)"},{"key":"72_CR12","doi-asserted-by":"crossref","unstructured":"Kuper, R. I.: Dependency-directed localization of software bugs. Technical Report AI-TR 1053, MIT AI Lab (1989)","DOI":"10.21236\/ADA210837"},{"key":"72_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W.: Declarative Error Diagnosis. New Generation Computing 5 (1987) 133\u2013154","journal-title":"New Generation Computing"},{"key":"72_CR14","unstructured":"Console, L., Friedrich, G., Dupr\u00e9, D. T.: Model-based diagnosis meets error diagnosis in logic programs. In: Proceedings 13th International Joint Conf. on Artificial Intelligence, Chambery (1993) 1494\u20131499"}],"container-title":["Lecture Notes in Computer Science","Developments in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48035-8_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T16:30:15Z","timestamp":1737563415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48035-8_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437819","9783540480358"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48035-8_72","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}