{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:53Z","timestamp":1725487673948},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401971"},{"type":"electronic","value":"9783540448648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44864-0_87","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:09:48Z","timestamp":1184598588000},"page":"849-858","source":"Crossref","is-referenced-by-count":0,"title":["Automated Debugging in Java Programs Using HDM"],"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":"87_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":"87_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":"87_CR3","unstructured":"D. Bartetzko, C. Fischer, M. Moller and H. Wehrheim, Jass-Java with Assertions in Workshop on Runtime Verification, 2001. held in conjunction with the 13th Conference on Computer Aided Verification, CAV\u201901"},{"issue":"4","key":"87_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":"87_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":"87_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":"87_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":"87_CR8","unstructured":"G. Kokai, L. Harmath, and T. Gyim\u00f3thy, 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":"87_CR9","volume-title":"Static Slicing of JAVA Programs in 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":"87_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":"87_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":"87_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Algorithmic debugging for lazy functional languages in Proceedings of PLILP\u201992 \u2014 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 \u2014 Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium August 1992. LNCS 631, Springer Verlag."}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2014 ICCS 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44864-0_87","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:32:09Z","timestamp":1556670729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44864-0_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401971","9783540448648"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44864-0_87","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}