{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:57Z","timestamp":1761596937232,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":34,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019397","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"1-15","source":"Crossref","is-referenced-by-count":9,"title":["A pragmatic survey of automated debugging"],"prefix":"10.1007","author":[{"given":"Mireille","family":"Ducass\u00e9","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"12","key":"1_CR1","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(80)90023-5","volume":"15","author":"A. Adam","year":"1980","unstructured":"A. Adam and J.-P. Laurent. Laura, a system to debug student programs. Artificial Intelligence, 15(1,2):75\u2013122, November 1980.","journal-title":"Artificial Intelligence"},{"issue":"6","key":"1_CR2","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/93548.93576","volume":"25","author":"H. Agrawal","year":"1990","unstructured":"H. Agrawal and J.R. Horgan. Dynamic program slicing. SIGPLAN Notices, 25(6):246\u2013256, June 1990. Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, White Plains, New York.","journal-title":"SIGPLAN Notices"},{"issue":"1","key":"1_CR3","first-page":"17","volume":"1","author":"R.S. Boyer","year":"1985","unstructured":"R.S. Boyer and J.S. Moore. An overview of automated reasoning and related fields: Program verification. Journal of Automated Reasoning, 1(1):17\u201323, 1985.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR4","unstructured":"P. Brna, A. Bundy, H. Pain, and L. Lynch. Programming tools for Prolog environments. In J. Hallam and C. Mellish, editors, Advances in Artificial Intelligence, pages 251\u2013264. J. Wiley and Sons, 1987. also published as DAI Research paper 302."},{"issue":"24","key":"1_CR5","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"1\u20133","author":"R. Davis","year":"1984","unstructured":"R. Davis. Diagnostic reasoning based on structure and behaviour. Artificial Intelligence, 1\u20133(24):347\u2013410, December 1984.","journal-title":"Artificial Intelligence"},{"key":"1_CR6","volume-title":"Software testing and evaluation","author":"R.A. DeMillo","year":"1987","unstructured":"R.A. DeMillo, W.M. McCracken, R.J. Martin, and J.F. Passafiume. Software testing and evaluation. Benjamin\/Cumming, Menlo Park, 1987."},{"key":"1_CR7","unstructured":"W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. The use of assertions in algorithmic debugging. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 573\u2013581. ICOT, December 1988."},{"issue":"1","key":"1_CR8","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/126496.126500","volume":"16","author":"M. Ducass\u00e9","year":"1991","unstructured":"M. Ducass\u00e9 and A.-M. Emde. Opium: a debugging environment for Prolog development and debugging research. ACM Software Engineering Notes, 16(1):54\u201359, January 1991. Demonstration presented at the Fourth Symposium on Software Development Environments.","journal-title":"ACM Software Engineering Notes"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"D. Jackson. Aspect: An economical bug-detector. In Proceedings of the 13th ICSE, pages 13\u201322. IEEE, IEEE Computer Society Press, May 1991.","DOI":"10.1109\/ICSE.1991.130619"},{"issue":"3","key":"1_CR10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1109\/TSE.1985.232210","volume":"SE-11","author":"W.L. Johnson","year":"1985","unstructured":"W.L. Johnson and E. Soloway. Proust: Knowledge-based program understanding. IEEE Transactions on Software Engineering, SE-11(3):267\u2013275, March 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR11","unstructured":"W.L. Johnson, E. Soloway, B. Cutler, and S. Draper. Bug catalogue: I. Technical Report 286, Yale University, 1983."},{"key":"1_CR12","volume-title":"PLILP'90, Lecture Notes in Computer Science","author":"M. Kamkar","year":"1990","unstructured":"M. Kamkar, N. Shahmehri, and P. Fritzson. Bug localization by algorithmic debugging and program slicing. In P. Deransart and J. Maluszynski, editors, PLILP'90, Lecture Notes in Computer Science, Linkoeping, Sweden, August 1990. Springer-Verlag."},{"issue":"9","key":"1_CR13","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1109\/32.6169","volume":"14","author":"B. Korel","year":"1988","unstructured":"B. Korel. PELAS-program error-locating assistant system. IEEE Transactions on Software Engineering, 14(9):1253\u20131260, September 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR14","volume-title":"Lecture Notes in Computer Sciences","author":"B. Korel","year":"1993","unstructured":"B. Korel. Identifying faulty modifications in software maintenance. In P. Fritzson, editor, Proceedings of the First Workshop on Automated and Algorithmic Debugging, University of Linkoeping, Sweden, May 1993. Lecture Notes in Computer Sciences, Springer-Verlag."},{"issue":"3","key":"1_CR15","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B. Korel","year":"1988","unstructured":"B. Korel and J. Laski. Dynamic program slicing. Information Processing Letters, 29(3):155\u2013163, 1988.","journal-title":"Information Processing Letters"},{"key":"1_CR16","volume-title":"Lecture Notes in Computer Sciences","author":"K. Kuchcinski","year":"1993","unstructured":"K. Kuchcinski, W. Drabent, and J. Maluszynski. Automatic diagnosis of VLSI circuits using algorithmic debugging. In P. Fritzson, editor, Proceedings of the First Workshop on Automated and Algorithmic Debugging, University of Linkoeping, Sweden, May 1993. Lecture Notes in Computer Sciences, Springer-Verlag."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"R.I. Kuper. Dependency-directed localization of software bugs. Technical report 1053, MIT, May 1989.","DOI":"10.21236\/ADA210837"},{"key":"1_CR18","volume-title":"PhD thesis","author":"C.H. LeDoux","year":"1985","unstructured":"C.H. LeDoux. A knowledge-based system for debugging concurrent software. PhD thesis, University of California, Los Angeles, 1985."},{"key":"1_CR19","unstructured":"C-K. Looi. Analysing novices' programs in a Prolog intelligent teaching system. In Proceedings of the European Conference on Artificial Intelligence, pages 314\u2013319, Munich, August 1988."},{"issue":"1","key":"1_CR20","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/52.62935","volume":"8","author":"D. Luckham","year":"1991","unstructured":"D. Luckham, S. Sankar, and S. Takahashi. Two-dimensional pinpointing: Debugging with formal specifications. IEEE Software, 8(1):74\u201384, January 1991.","journal-title":"IEEE Software"},{"issue":"2","key":"1_CR21","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0020-7373(80)80017-4","volume":"12","author":"F.J. Lukey","year":"1980","unstructured":"F.J. Lukey. Understanding and debugging programs. Int. J. Man-Machine Studies, 12(2):189\u2013202, February 1980.","journal-title":"Int. J. Man-Machine Studies"},{"key":"1_CR22","unstructured":"J.R. Lyle and M. Weiser. Automatic program bug location by program slicing. In The Second International Conference on Computers and Applications, Peking, June 1987."},{"key":"1_CR23","volume-title":"Research notes in Artificial Intelligence","author":"W.R. Murray","year":"1988","unstructured":"W.R. Murray. Automatic Program Debugging for Intelligent Tutoring Systems. Research notes in Artificial Intelligence. Pitman, London, 1988."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"L.M. Pereira. Rational debugging in Logic Programming. In 3rd Logic Programming Conference, pages 203\u2013210, London, July 1986.","DOI":"10.1007\/3-540-16492-8_76"},{"issue":"1","key":"1_CR25","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(76)90022-9","volume":"7","author":"G.R. Ruth","year":"1976","unstructured":"G.R. Ruth. Intelligent program analysis. Artificial Intelligence, 7(1):65\u201385, 1976.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"1_CR26","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.1987.230396","volume":"4","author":"R.E. Seviora","year":"1987","unstructured":"R.E. Seviora. Knowledge-based program debugging systems. IEEE Software, 4(3):20\u201332, May 1987.","journal-title":"IEEE Software"},{"key":"1_CR27","volume-title":"Lecture Notes in Computer Sciences","author":"N. Shahmehri","year":"1993","unstructured":"N. Shahmehri, M. Kamkar, and P. Fritzson. Usability criteria for automated debugging systems. In P. Fritzson, editor, Proceedings of the First Workshop on Automated and Algorithmic Debugging, University of Linkoeping, Sweden, May 1993. Lecture Notes in Computer Sciences, Springer-Verlag."},{"key":"1_CR28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E.Y. Shapiro","year":"1983","unstructured":"E.Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983."},{"key":"1_CR29","unstructured":"J.C. Spohrer, E. Pope, M. Lipman, and W. Sack. Bug catalogue: II, III, IV. Research Report YALEU\/CSD\/RR #386, Yale University, Department of Computer Science, May 1985."},{"issue":"2","key":"1_CR30","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1207\/s15327051hci0102_4","volume":"1","author":"J.C. Spohrer","year":"1985","unstructured":"J.C. Spohrer, E. Soloway, and E. Pope. A goal\/plan analysis of buggy Pascal programs. Human-computer Interaction, 1(2):163\u2013207, 1985.","journal-title":"Human-computer Interaction"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"H. Takahashi and E. Shibayama. Preset \u2014 a debugging environment for Prolog. In Logic Programming Conference, pages 90\u201399, Tokyo, 1985.","DOI":"10.1007\/3-540-16479-0_9"},{"issue":"4","key":"1_CR32","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"H. Wertz. Stereotyped program debugging: an aid for novice programmers. International Journal of Man-Machine Studies, 16, 1982.","DOI":"10.1016\/S0020-7373(82)80047-3"},{"key":"1_CR34","volume-title":"Artificial Intelligence","author":"H. Wertz","year":"1987","unstructured":"H. Wertz. Automatic Correction and Improvement of Programs. Artificial Intelligence, J. Campbell ed. Ellis Horwood, England, 1987."}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019397.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:57:01Z","timestamp":1736107021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019397"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/bfb0019397","relation":{},"subject":[]}}