{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:10:36Z","timestamp":1736107836555,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019407","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"153-170","source":"Crossref","is-referenced-by-count":11,"title":["A generalised query minimisation for program debugging"],"prefix":"10.1007","author":[{"given":"Visit","family":"Hirunkitti","sequence":"first","affiliation":[]},{"given":"Christopher J.","family":"Hogger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J. and Williams, B. C., Diagnosing Multiple Faults, Artificial Intelligence 32, pp. 97\u2013130 (1987).","journal-title":"Artificial Intelligence"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J. Kleer de","year":"1990","unstructured":"de Kleer, J.,Using Crude Probability Estimates to Guide Diagnosis, Artificial Intelligence 45,pp.381\u2013391 (1990).","journal-title":"Artificial Intelligence"},{"key":"11_CR3","unstructured":"Dershowitz, N. and Lee, Y., Deductive Debugging, Proc. of the Symposium on Logic Programming, San Francisco, pp. 298\u2013306 (1987)."},{"key":"11_CR4","unstructured":"Drabent, W., Nadjm-Tehrani, S. and Maluszynski, J., The Use of Assertions in Algorithmic Debugging, Proc. of FGCS-88, pp. 573\u2013581 (1988)."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Freitag, H., A Generic Measurement Proposer, Proc. of the International Workshop on Expert System in Engineering, Springer-Verlag (1990).","DOI":"10.1007\/3-540-53104-1_33"},{"key":"11_CR6","volume-title":"Debugging by Diagnosing Assumptions","author":"L. M. Pereira","year":"1993","unstructured":"Pereira, L. M., Dam\u00e1sio, C. V. and J. J. Alferes, Debugging by Diagnosing Assumptions, Proc. of the 1st International Workshop on Automated and Algorithmic Debugging, Link\u00f6ping, Sweden, Springer-Verlag (1993)."},{"issue":"7","key":"11_CR7","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/MC.1986.1663281","volume":"19","author":"F. Pipitone","year":"1986","unstructured":"Pipitone, F., The FIS electronics troubleshooting system, IEEE Computer 19 (7), pp. 68\u201375 (1986).","journal-title":"IEEE Computer"},{"key":"11_CR8","unstructured":"Plaisted, D. A., An Efficient Bug Location Algorithm, Proc. of the 2nd International Conference on Logic Programming (1984)."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y., Algorithmic Program Debugging, MIT Press (1983).","DOI":"10.7551\/mitpress\/1192.001.0001"}],"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\/BFb0019407.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:56:51Z","timestamp":1736107011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0019407","relation":{},"subject":[]}}