{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T12:56:52Z","timestamp":1776085012799,"version":"3.50.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319086569","type":"print"},{"value":"9783319086576","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08657-6_10","type":"book-chapter","created":{"date-parts":[[2014,6,5]],"date-time":"2014-06-05T03:19:04Z","timestamp":1401938344000},"page":"100-113","source":"Crossref","is-referenced-by-count":21,"title":["A Review of Static Analysis Approaches for Programming Exercises"],"prefix":"10.1007","author":[{"given":"Michael","family":"Striewe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Goedicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Static Analysis Tool Exposition (SATE 2009) Workshop, Co-located with 11th semiannual Software Assurance Forum, Arlington, VA (2009)"},{"key":"10_CR2","unstructured":"AGG website, http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1080\/08993400500150747","volume":"15","author":"K.M. Ala-Mutka","year":"2005","unstructured":"Ala-Mutka, K.M.: A Survey of Automated Assessment Approaches for Programming Assignments. Computer Science Education\u00a015(2), 83\u2013102 (2005)","journal-title":"Computer Science Education"},{"key":"10_CR4","first-page":"219","volume-title":"ITiCSE 2008: Proceedings of the 13th Annual Conference on Innovation and Technology in Computer Science Education","author":"M. Amelung","year":"2008","unstructured":"Amelung, M., Forbrig, P., R\u00f6sner, D.: Towards generic and flexible web services for e-assessment. In: ITiCSE 2008: Proceedings of the 13th Annual Conference on Innovation and Technology in Computer Science Education, pp. 219\u2013224. ACM, New York (2008)"},{"key":"10_CR5","unstructured":"Bildhauer, D., Ebert, J.: Querying Software Abstraction Graphs. In: Working Session on Query Technologies and Applications for Program Comprehension (QTAPC 2008), Collocated with ICPC 2008 (2008)"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0360-1315(03)00030-7","volume":"41","author":"B. Cheang","year":"2003","unstructured":"Cheang, B., Kurnia, A., Lim, A., Oon, W.-C.: On automated grading of programming assignments in an academic institution. Comput. Educ.\u00a041(2), 121\u2013131 (2003)","journal-title":"Comput. Educ."},{"key":"10_CR7","unstructured":"CheckStyle Project, http:\/\/checkstyle.sourceforge.net"},{"key":"10_CR8","unstructured":"Copeland, T.: PMD applied. Centennial Books (2005)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Denny, P., Luxton-Reilly, A., Tempero, E.D., Hendrickx, J.: Understanding the syntax barrier for novices. In: R\u00f6\u00dfling, G., Naps, T.L., Spannagel, C. (eds.) Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, pp. 208\u2013212. ACM (2011)","DOI":"10.1145\/1999747.1999807"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Douce, C., Livingstone, D., Orwell, J., Grindle, S., Cobb, J.: A technical perspective on ASAP - automated systems for assessment of programming. In: Proceedings of the 9th CAA Conference, Loughborough University (2005)","DOI":"10.1145\/1163405.1163409"},{"key":"10_CR11","unstructured":"FindBugs Project, http:\/\/findbugs.sourceforge.net\/"},{"key":"10_CR12","unstructured":"Gruttmann, S.J.: Formatives E-Assessment in der Hochschullehre. MV-Wissenschaft (2009)"},{"key":"10_CR13","unstructured":"Hage, J., Rademaker, P., van Vugt, N.: A comparison of plagiarism detection tools. Technical report, Department of Information and Computing Sciences, Utrecht University (2010)"},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1023\/A:1026364126982","volume":"8","author":"C. Higgins","year":"2003","unstructured":"Higgins, C., Hegazy, T., Symeonidis, P., Tsintsifas, A.: The CourseMarker CBA System: Improvements over Ceilidh. Education and Information Technologies\u00a08(3), 287\u2013304 (2003)","journal-title":"Education and Information Technologies"},{"key":"10_CR15","unstructured":"Hoffmann, A., Quast, A., Wism\u00fcller, R.: Online-\u00dcbungssystem f\u00fcr die Programmierausbildung zur Einf\u00fchrung in die Informatik. In: Seehusen, S., Lucke, U., Fischer, S. (eds.) DeLFI 2008, 6. e-Learning Fachtagung Informatik. LNI, vol.\u00a0132, pp. 173\u2013184. GI (2008)"},{"key":"10_CR16","first-page":"86","volume-title":"Proceedings of the 10th Koli Calling International Conference on Computing Education Research, Koli Calling 2010","author":"P. Ihantola","year":"2010","unstructured":"Ihantola, P., Ahoniemi, T., Karavirta, V., Sepp\u00e4l\u00e4, O.: Review of recent systems for automatic assessment of programming assignments. In: Proceedings of the 10th Koli Calling International Conference on Computing Education Research, Koli Calling 2010, pp. 86\u201393. ACM, New York (2010)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Joy, M., Griffiths, N., Boyatt, R.: The BOSS Online Submission and Assessment System. Journal on Educational Resources in Computing (JERIC)\u00a05(3) (2005)","DOI":"10.1145\/1163405.1163407"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"K\u00f6llmann, C., Goedicke, M.: A Specification Language for Static Analysis of Student Exercises. In: Proceedings of the International Conference on Automated Software Engineering (2008)","DOI":"10.1109\/ASE.2008.47"},{"issue":"6","key":"10_CR19","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1002\/spe.522","volume":"33","author":"J.P. Leal","year":"2003","unstructured":"Leal, J.P., Silva, F.: Mooshak: a Web-based multi-site programming contest system. Software\u2013Practice & Experience\u00a033(6), 567\u2013581 (2003)","journal-title":"Software\u2013Practice & Experience"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/299649.299689","volume-title":"The Proceedings of the Thirtieth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1999","author":"S.A. Mengel","year":"1999","unstructured":"Mengel, S.A., Yerramilli, V.: A case study of the static analysis of the quality of novice student programs. In: The Proceedings of the Thirtieth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1999, pp. 78\u201382. ACM, New York (1999)"},{"key":"10_CR21","unstructured":"Morth, T., Oechsle, R., Schlo\u00df, H., Schwinn, M.: Automatische Bewertung studentischer Software. In: Workshop \u201cRechnerunterst\u00fctztes Selbststudium in der Informati\u201d, Universit\u00e4t Siegen, 17 (September 2007)"},{"key":"10_CR22","unstructured":"Naude, K.A.: Assessing Program Code through Static Structural Similarity. Master\u2019s Thesis, Faculty of Science, Nelson Mandela Metropolitan University (2007)"},{"key":"10_CR23","unstructured":"PMD Project, http:\/\/pmd.sourceforge.net\/"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Rutar, N., Almazan, C.B., Foster, J.S.: A Comparison of Bug Finding Tools for Java. In: Proceedings of the 15th International Symposium on Software Reliability Engineering, pp. 245\u2013256. IEEE Computer Society, Washington, DC (2004)","DOI":"10.1109\/ISSRE.2004.1"},{"issue":"1","key":"10_CR25","first-page":"87","volume":"4","author":"J. Schwieren","year":"2006","unstructured":"Schwieren, J., Vossen, G., Westerkamp, P.: Using Software Testing Techniques for Efficient Handling of Programming Exercises in an e-Learning Platform. The Electronic Journal of e-Learning\u00a04(1), 87\u201394 (2006)","journal-title":"The Electronic Journal of e-Learning"},{"key":"10_CR26","unstructured":"Shah, A.: Web-CAT: A Web-based Center for Automated Testing. Master\u2019s thesis, Virginia Polytechnic Institute and State University (2003)"},{"issue":"3","key":"10_CR27","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1140123.1140131","volume":"38","author":"J. Spacco","year":"2006","unstructured":"Spacco, J., Hovemeyer, D., Pugh, W., Emad, F., Hollingsworth, J.K., Padua-Perez, N.: Experiences with Marmoset: Designing and using an advanced submission and testing system for programming courses. SIGCSE Bull.\u00a038(3), 13\u201317 (2006)","journal-title":"SIGCSE Bull."},{"key":"10_CR28","unstructured":"Strickroth, S., Olivier, H., Pinkwart, N.: Das GATE-System: Qualit\u00e4tssteigerung durch Selbsttests f\u00fcr Studenten bei der Onlineabgabe von \u00dcbungsaufgaben? In: DeLFI 2011 - Die 9. e-Learning Fachtagung Informatik der Gesellschaft f\u00fcr Informatik e.V. LNI, vol.\u00a0188, pp. 115\u2013126. GI (2011)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Striewe, M., Balz, M., Goedicke, M.: A Flexible and Modular Software Architecture for Computer Aided Assessments and Automated Marking. In: Proceedings of the First International Conference on Computer Supported Education (CSEDU), Lisboa, Portugal, March 23-26, vol.\u00a02, pp. 54\u201361. INSTICC (2009)","DOI":"10.5220\/0001966900540061"},{"key":"10_CR30","unstructured":"Striewe, M., Balz, M., Goedicke, M.: Enabling Graph Transformations on Program Code. In: Proceedings of the 4th International Workshop on Graph Based Tools, Enschede, The Netherlands (2010)"},{"key":"10_CR31","unstructured":"Truong, N., Bancroft, P., Roe, P.: A Web Based Environment for Learning to Program. In: Proceedings of the 26th Annual Conference of ACSC, pp. 255\u2013264 (2003)"},{"key":"10_CR32","unstructured":"Truong, N., Roe, P., Bancroft, P.: Static Analysis of Students\u2019 Java Programs. In: Lister, R., Young, A.L. (eds.) Sixth Australasian Computing Education Conference (ACE 2004), Dunedin, New Zealand, pp. 317\u2013325 (2004)"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Making Students Read and Review Code. In: Proceedings of the 5th ACM SIGCSE\/SIGCUE Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2000), Helsinki, Finland, pp. 89\u201392 (2000)","DOI":"10.1145\/343048.343090"}],"container-title":["Communications in Computer and Information Science","Computer Assisted Assessment. Research into E-Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08657-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T07:06:16Z","timestamp":1746255976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08657-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319086569","9783319086576"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08657-6_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}