{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:39:27Z","timestamp":1725489567028},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401551"},{"type":"electronic","value":"9783540448396"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44839-x_72","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T05:23:05Z","timestamp":1187241785000},"page":"684-693","source":"Crossref","is-referenced-by-count":4,"title":["The Efficient Debugging System for Locating Logical Errors in Java Programs"],"prefix":"10.1007","author":[{"given":"Hoon-Joon","family":"Kouh","sequence":"first","affiliation":[]},{"given":"Weon-Hee","family":"Yoo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"72_CR1","unstructured":"Z. Alexin, T. Gyim\u00f3thy and G. Kokai, IDT: Integrated System for Debugging and Testing Prolog Programs in Proceedings of the Fourth Symposium on Programming Languages and Software Tools, Hungary June 9\u201310, (1995) 312\u2013323"},{"key":"72_CR2","unstructured":"M. Auguston, A language for debugging automation in Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, June 1994, Knowledge Systems Institute, pp. 108\u2013115."},{"key":"72_CR3","unstructured":"D. Bartetzko, C. Fischer, M. Moller and H. Wehrheim, Jass-Java with Assertions in Work-shop on Runtime Verification, 2001. held in conjunction with the 13th Conference on Computer Aided Verification, CAV\u201901"},{"issue":"4","key":"72_CR4","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/375431.375418","volume":"36","author":"Z. Chen","year":"2001","unstructured":"Z. Chen and B. Xu, \u201cSlicing Object-Oriented Java Programs\u201d, ACM SIGPLAN Notices, V.36(4): pp 33\u201340 April, 2001","journal-title":"ACM SIGPLAN Notices"},{"key":"72_CR5","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0164-1212(94)90032-9","volume":"25","author":"P. Fritzson","year":"1994","unstructured":"P. Fritzson, M. Auguston and N. Shahmehri, \u201cUsing Assertions in Declarative and Operational Models of Automated Debugging\u201d. The Journal of Systems and Software 25, 1994, pp 223\u2013239","journal-title":"The Journal of Systems and Software"},{"key":"72_CR6","doi-asserted-by":"crossref","unstructured":"P. Fritzson, N. Shahmehri, M. Kamkar, T. Gyimothy, \u201cGeneralized Algorithmic Debugging and Testing\u201d, ACM LOPLAS \u2014 Letters of Programming Languages and Systems. Vol. 1, No. 4, December 1992.","DOI":"10.1145\/161494.161498"},{"key":"72_CR7","unstructured":"H J Kouh, W H Yoo, Hybrid Debugging Method: Algorithmic + Step-wise Debugging in Proceedings of the 2002 International Conference on Software Engineering Research and Practice, June 2002."},{"key":"72_CR8","unstructured":"G. Kokai, L. Harmath, and T. Gyim\u2019othy, Algorithmic Debugging and Testing of Prolog Programs in Proceedings of ICLP\u2019 97, The Fourteenth International Conference on Logic Programming, Eighth Workshop on Logic Programming Environments Leuven, Belgium, 8\u201312 July 1997, 14\u201321."},{"key":"72_CR9","volume-title":"Research Group on Artificial Intelligence(RGAI)","author":"G. Kovacs","year":"1996","unstructured":"G. Kovacs, F. Magyar, and T. Gyimothy, Static Slicing of JAVA Programs in Research Group on Artificial Intelligence(RGAI), Hungarian Academy of Sciences, Jozsef Attila University, HUNGARY, December 1996"},{"key":"72_CR10","doi-asserted-by":"crossref","unstructured":"R. Lencevicius, On-the-fly Query-Based Debugging with Examples in Proceeding of the Fourth International Workshop on Automated and Algorithmic Debugging, AADEBUG\u2019 2000, Munich, Germany, August 2000.","DOI":"10.1007\/978-1-4419-8774-7_3"},{"key":"72_CR11","doi-asserted-by":"crossref","unstructured":"C. Mateis, M. Stumptner and F. Wotawa, Locating bugs in Java Programs-first results of the Java Diagnosis Experiments(Jade) project in Proceedings of IEA\/AIE, New Orleans, 2000, Springer-Verlag.","DOI":"10.1007\/3-540-45049-1_21"},{"key":"72_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of PLILP\u201992-Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium","author":"H. Nilsson","year":"1992","unstructured":"H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages in Proceedings of PLILP\u201992-Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium August 1992. LNCS 631, Springer Verlag.13. E. Shapiro, Algorithmic Program Debugging, MIT Press, May 1982."}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2014 ICCSA 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44839-X_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:20:36Z","timestamp":1556756436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44839-X_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401551","9783540448396"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44839-x_72","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}