{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:04:38Z","timestamp":1725487478367},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433231"},{"type":"electronic","value":"9783540458753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45875-1_20","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:17:29Z","timestamp":1184602649000},"page":"256-268","source":"Crossref","is-referenced-by-count":1,"title":["Understanding Algorithms by Means of Visualized Path Testing"],"prefix":"10.1007","author":[{"given":"Ari","family":"Korhonen","sequence":"first","affiliation":[]},{"given":"Erkki","family":"Sutinen","sequence":"additional","affiliation":[]},{"given":"Jorma","family":"Tarhio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"20_CR1","unstructured":"Aho, A., Sethi, R., Ullman J.: Compilers, Principles, Techniques, and Tools. Addison Wesley, 1986."},{"key":"20_CR2","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edition. New York, Van Nostrand Reinhold, 1990."},{"key":"20_CR3","unstructured":"Ben-Ari, M., Myller, N., Sutinen, E., Tarhio, J.: Perspectives of Program Animation with Jeliot. In this volume."},{"key":"20_CR4","unstructured":"Brown, M.: Algorithm Animation. ACM distinguished dissertation, MIT Press, 1988."},{"key":"20_CR5","unstructured":"Cornett S.: Code Coverage Analysis. http:\/\/www.bullseye.com , seen 08\/01."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Haajanen, J., Pesonius, M., Sutinen, E., Tarhio, J., Ter\u00e4svirta, T., Vanninen, P.: Animation of user algorithms on the Web. In Proc. 1997 Symposium on Visual Languages, 1997, 360\u2013367.","DOI":"10.1109\/VL.1997.626605"},{"key":"20_CR7","first-page":"501","volume":"10","author":"N. Horspool","year":"1980","unstructured":"Horspool, N.: Practical fast searching in strings. Software Practice & Experience 10, 1980, 501\u2013506.","journal-title":"Practical fast searching in strings"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Hundhausen, C.: Toward Effective Algorithm Visualization Artifacts: Designing for Participation and Communication in an Undergraduate Algorithms Course. Doctoral Dissertation (Tech Rep. No. CIS-TR-99-07), Dept. of Computer and Information Science, University of Oregon, 1999.","DOI":"10.1145\/286498.286526"},{"issue":"2","key":"20_CR9","first-page":"47","volume":"9","author":"E. M. J\u00e4rvinen","year":"1988","unstructured":"J\u00e4rvinen, E. M.: The Lego\/Logo Learning Environment in Technology Education: An Experiment in a Finnish Context. Journal of Technology Education 9(2), 1988, 47\u201359.","journal-title":"Journal of Technology Education"},{"key":"20_CR10","unstructured":"Korhonen, A.: Algorithm Animation and Simulation. Licentiate\u2019s thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2000."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Korhonen, A., Malmi, L.: Algorithm Simulation with Automatic Assessment. In Proc. ITiCSE\u2019 00, 5th Annual SIGCSE\/SIGCUE Conference on Innovation and technology in computer science education, ACM, 2000, 160\u2013163.","DOI":"10.1145\/343048.343157"},{"key":"20_CR12","unstructured":"Korhonen, A., Malmi, L., Saikkonen, R.: Design Pattern for Algorithm Animation and Simulation. In E. Sutinen (Ed.): Proceedings of the First Program Visualization Workshop, University of Joensuu, Department of Computer Science, 2001, 89\u2013100."},{"key":"20_CR13","unstructured":"Lavonen, J., Meisalo, V., Lattu, M.: Visual programming: basic structures made easy. In E. Sutinen (Ed.): Proceedings of the First Program Visualization Workshop, University of Joensuu, Department of Computer Science, 2001, 163\u2013177."},{"key":"20_CR14","unstructured":"P\u00f3lya, G. How to Solve It? Princeton University Press, 1973."},{"issue":"3","key":"20_CR15","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1006\/jvlc.1993.1015","volume":"4","author":"B. A. Price","year":"1993","unstructured":"Price, B. A., Baecker, R. M., Small, I. S.: A Principled Taxonomy of Software Visualization Journal of Visual Languages and Computing 4(3), 1993, 211\u2013266.","journal-title":"A Principled Taxonomy of Software Visualization Journal of Visual Languages and Computing"},{"key":"20_CR16","unstructured":"Stasko, J., Badre, A., Lewis, C.: Do algorithm animations assist learning: An empirical study and analysis. In Proc. INTERCHI\u2019 93, Conference on Human Factors in Computing Systems, Amsterdam, The Netherlands (1993) 61\u201366."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Stern, L., Sondergaard, H., Naish, L.: A strategy for managing content complexity in algorithm animation. In Proc. ITiCSE\u2019 99, 4th Annual SIGCSE\/SIGCUE Conference on Innovation and technology in computer science education, ACM, 1999, 127\u2013130.","DOI":"10.1145\/305786.305891"},{"key":"20_CR18","unstructured":"Vygotsky, L. S.: Mind in Society: The Development of Higher Psychological Processes. (M. Cole, V.J. Steiner, S. Scribner, E. Souberman, eds.) Harvard University Press, 1978."}],"container-title":["Lecture Notes in Computer Science","Software Visualization"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45875-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T11:13:43Z","timestamp":1629371623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45875-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433231","9783540458753"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45875-1_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}