{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T05:10:37Z","timestamp":1737263437233,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426127"},{"type":"electronic","value":"9783540454229"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45422-5_25","type":"book-chapter","created":{"date-parts":[[2007,7,4]],"date-time":"2007-07-04T15:01:34Z","timestamp":1183561294000},"page":"351-365","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Comparing Two Models for Software Debugging"],"prefix":"10.1007","author":[{"given":"Markus","family":"Stumptner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Wieland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,3]]},"reference":[{"key":"25_CR1","unstructured":"Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold, 1990."},{"issue":"3","key":"25_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/203330.203338","volume":"38","author":"L. Burnell","year":"1995","unstructured":"Lisa Burnell and Eric Horvitz. Structure and Chance: Melding Logic and Probability for Software Debugging. Communications of the ACM, 38(3):31\u201341, 1995.","journal-title":"Communications of the ACM"},{"issue":"5","key":"25_CR3","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E. M. Clarke","year":"1994","unstructured":"Edmund M. Clarke, Orna Grumberg, and David E. Long. Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512\u20131542, September 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Luca Console, Gerhard Friedrich, and Daniele Theseider Dupr\u00e9. Model-based diagnosis meets error diagnosis in logic programs. In Proceedings 13th International Joint Conf. on Artificial Intelligence, pages 1494\u20131499, Chambery, August 1993.","DOI":"10.1007\/BFb0019402"},{"issue":"1","key":"25_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":"Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"key":"25_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0019397","volume-title":"Proceedings of the 1st InternationalWorkshop on Automated and Algorithmic Debugging, AADEBUG\u2019 93","author":"M. Ducass\u00e9","year":"1993","unstructured":"Mireille Ducass\u00e9. A pragmatic survey of automatic debugging. In Proceedings of the 1st InternationalWorkshop on Automated and Algorithmic Debugging, AADEBUG\u2019 93, Springer LNCS 749, pages 1\u201315, May 1993."},{"key":"25_CR7","unstructured":"Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Stumptner. Consistency based diagnosis of configuration knowledge-bases. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, June 1999."},{"issue":"3","key":"25_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Jeanne Ferrante, Karl J. Ottenstein, and Joe D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319\u2013349, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"25_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3\u201339, July 1999.","journal-title":"Artificial Intelligence"},{"key":"25_CR10","first-page":"147","volume":"6","author":"U. Heller","year":"1997","unstructured":"Ulrich Heller and Peter Struss. Conceptual Modeling in the Environmental Domain. In Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, volume 6, pages 147\u2013152, Berlin, Germany, 1997.","journal-title":"Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics"},{"issue":"2","key":"25_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Daniel Jackson. Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology, 4(2):109\u2013145, April 1995.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"9","key":"25_CR12","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1109\/32.6169","volume":"14","author":"B. Korel","year":"1988","unstructured":"Bogdan Korel. PELAS-Program Error-Locating Assistant System. IEEE Transactions on Software Engineering, 14(9):1253\u20131260, 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Ron I. Kuper. Dependency-directed localization of software bugs. Technical Report AI-TR 1053, MIT AI Lab, May 1989.","DOI":"10.21236\/ADA210837"},{"key":"25_CR14","unstructured":"A. Malik, P. Struss, and M. Sachenbacher. Case studies in model-based diagnosis and fault analysis of car-subsystems. In Proceedings of the European Conference on Artificial Intelligence (ECAI), 1996."},{"key":"25_CR15","unstructured":"Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java programs using a model-based approach. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999."},{"key":"25_CR16","unstructured":"Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Programs for Diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000."},{"issue":"9","key":"25_CR17","doi-asserted-by":"publisher","first-page":"980","DOI":"10.1109\/32.58785","volume":"16","author":"M. Moriconi","year":"1990","unstructured":"Mark Moriconi and Timothy Winkler. Approximate reasoning about the semantic effects of program changes. IEEE Transactions on Software Engineering, 16(9):980\u2013992, September 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"25_CR18","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Raymond Reiter.A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"25_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1983","unstructured":"Ehud Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, Massachusetts, 1983."},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Markus Stumptner and Franz Wotawa. Model-based reconfiguration. In Proceedings Artificial Intelligence in Design, Lisbon, Portugal, 1998.","DOI":"10.1007\/978-94-011-5121-4_3"},{"key":"25_CR21","unstructured":"Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceedings 16th International Joint Conf. on Artificial Intelligence, pages 1074\u20131079, Stockholm, Sweden, August 1999."},{"issue":"7","key":"25_CR22","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Mark Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446\u2013452, July 1982.","journal-title":"Communications of the ACM"},{"issue":"4","key":"25_CR23","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR24","unstructured":"Brian C. Williams and P. Pandurang Nayak. A reactive planner for a model-based executive. In Proceedings 15th International Joint Conf. on Artificial Intelligence, pages 1178\u20131185, 1997."}],"container-title":["Lecture Notes in Computer Science","KI 2001: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45422-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:42:35Z","timestamp":1737175355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45422-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426127","9783540454229"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45422-5_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"3 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}