{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:40:02Z","timestamp":1748072402829,"version":"3.41.0"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008600232608","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"119-120","source":"Crossref","is-referenced-by-count":0,"title":["Introduction"],"prefix":"10.1007","volume":"4","author":[{"given":"Mireille","family":"Ducass\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"123482_CR1","series-title":"Lecture Notes in Computer Sciences","volume-title":"Proceedings of the First Workshop on Automated and Algorithmic Debugging","author":"M. Ducass\u00e9","year":"1993","unstructured":"M. Ducass\u00e9. A pragmatic survey of automated debugging. In P. Fritzson, editor, Proceedings of the First Workshop on Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Sciences, Linkoeping, Sweden, May 1993. Springer-Verlag."},{"key":"123482_CR2","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0743-1066(94)90030-2","volume":"19\/20","author":"M. Ducass\u00e9","year":"1994","unstructured":"M. Ducass\u00e9 and J. Noy\u00e9. Logic programming environments: Dynamic program analysis and debugging. The Journal of Logic Programming, 19\/20:351\u2013384, May\/July 1994.","journal-title":"The Journal of Logic Programming"},{"key":"123482_CR3","doi-asserted-by":"crossref","unstructured":"C. Fidge. Logical time in distributed computing systems. IEEE Computer, pages 28\u201333, August 1991.","DOI":"10.1109\/2.84874"},{"key":"123482_CR4","isbn-type":"print","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. ISBN 0-262-19218-7.","ISBN":"https:\/\/id.crossref.org\/isbn\/0262192187"},{"issue":"7","key":"123482_CR5","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446\u2013452, July 1982.","journal-title":"Communications of the ACM"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008600232608.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008600232608\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008600232608.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:00:26Z","timestamp":1748070026000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008600232608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["123482"],"URL":"https:\/\/doi.org\/10.1023\/a:1008600232608","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}