{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T12:11:39Z","timestamp":1737547899991,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676898"},{"type":"electronic","value":"9783540450498"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45049-1_21","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T14:14:56Z","timestamp":1195136096000},"page":"174-183","source":"Crossref","is-referenced-by-count":7,"title":["Locating Bugs in Java Programs \u2014 First Results of the Java Diagnosis Experiments Project"],"prefix":"10.1007","author":[{"given":"Cristinel","family":"Mateis","sequence":"first","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"21_CR1","volume-title":"Logic Programs for Consistency-Based Diagnosis","author":"G. W. Bond","year":"1994","unstructured":"Gregory W. Bond. Logic Programs for Consistency-Based Diagnosis. PhD thesis, Carleton University, Faculty of Engineering, Ottawa, Canada, 1994."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Luca Console, Gerhard Friedrich, and Daniele Theseider Dupr\u00e9. Model-based diagnosis meets error diagnosis in logic programs. In Proc. IJCAI, pages 1494\u20131499, Chambery, August 1993. Morgan Kaufmann.","DOI":"10.1007\/BFb0019402"},{"issue":"1","key":"21_CR3","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"},{"issue":"2","key":"21_CR4","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":"21_CR5","doi-asserted-by":"crossref","unstructured":"Peter Fritzson and Henrik Nilsson. Algorithmic debugging for lazy functional languages. Journal of Functional Programming, 4(3), 1994.","DOI":"10.1017\/S095679680000109X"},{"issue":"2","key":"21_CR6","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":"21_CR7","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":"21_CR8","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":"21_CR9","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":"21_CR10","unstructured":"William R. Murray. Automatic Program Debugging for Intelligent Tutoring Systems. Pitman Publishing, 1988."},{"key":"21_CR11","unstructured":"Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Link\u00f6ping University, April 1998."},{"issue":"1","key":"21_CR12","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":"21_CR13","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":"21_CR14","unstructured":"Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proc. 16th IJCAI, Stockholm, Sweden, August 1999."},{"key":"21_CR15","unstructured":"Markus Stumptner and Franz Wotawa. Detecting and locating faults in hardware designs. In AAAI 99 Workshop on Intelligent Software Engineering, Orlando, Florida, 1999."},{"issue":"4","key":"21_CR16","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":"21_CR17","doi-asserted-by":"crossref","unstructured":"Franz Wotawa. New Directions in Debugging Hardware Designs. In Proceedings IEA\/AIE, 1999.","DOI":"10.1007\/978-3-540-48765-4_26"}],"container-title":["Lecture Notes in Computer Science","Intelligent Problem Solving. Methodologies and Approaches"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45049-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T10:59:04Z","timestamp":1737543544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45049-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676898","9783540450498"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45049-1_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}