{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T11:14:45Z","timestamp":1774264485920,"version":"3.50.1"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2018,7,1]],"date-time":"2018-07-01T00:00:00Z","timestamp":1530403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Spanish Ministry for Economy and Competitiveness (MINECO)"},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100008530","name":"FEDER","doi-asserted-by":"crossref","award":["TIN2013-46181-C2-1-R"],"award-info":[{"award-number":["TIN2013-46181-C2-1-R"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100008530","name":"FEDER","doi-asserted-by":"crossref","award":["TIN2015-69175-C4-3-R"],"award-info":[{"award-number":["TIN2015-69175-C4-3-R"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100008530","name":"FEDER","doi-asserted-by":"crossref","award":["SGR 2014 1034"],"award-info":[{"award-number":["SGR 2014 1034"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]},{"name":"ALBCOM"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Learning Technol."],"published-print":{"date-parts":[[2018,7,1]]},"DOI":"10.1109\/tlt.2017.2723389","type":"journal-article","created":{"date-parts":[[2017,7,4]],"date-time":"2017-07-04T18:30:26Z","timestamp":1499193026000},"page":"321-333","source":"Crossref","is-referenced-by-count":27,"title":["&lt;uri&gt;Jutge.org&lt;\/uri&gt;: Characteristics and Experiences"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8331-8126","authenticated-orcid":false,"given":"Jordi","family":"Petit","sequence":"first","affiliation":[]},{"given":"Salvador","family":"Roura","sequence":"additional","affiliation":[]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[]},{"given":"Jordi","family":"Duch","sequence":"additional","affiliation":[]},{"given":"Omer","family":"Gimenez","sequence":"additional","affiliation":[]},{"given":"Anaga","family":"Mani","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Mas","sequence":"additional","affiliation":[]},{"given":"Enric","family":"Rodriguez-Carbonell","sequence":"additional","affiliation":[]},{"given":"Enric","family":"Rubio","sequence":"additional","affiliation":[]},{"given":"Enric de San","family":"Pedro","sequence":"additional","affiliation":[]},{"given":"Divya","family":"Venkataramani","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/j.compedu.2014.08.019","article-title":"Assessing the effects of gamification in the classroom","volume":"80","author":"hanus","year":"2015","journal-title":"Comput Edu"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.compedu.2015.04.001"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s40593-015-0080-x"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/2499370.2462195","article-title":"Automated feedback generation for introductory programming assignments","volume":"48","author":"singh","year":"2013","journal-title":"ACM SIGPLAN Notices"},{"key":"ref36","first-page":"748","article-title":"LogiFlash - A flash-based logic-simulator for educational purposes","author":"damm","year":"2003","journal-title":"Proc World Conf Educ Multimedia Hypermedia Telecommun"},{"key":"ref35","first-page":"359","article-title":"Solving\n digital logic assignments with automatic verification in SCORM modules","author":"damm","year":"2009","journal-title":"Proc Int Conf Interactive Comput -Aided Learn"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380020110"},{"key":"ref10","article-title":"A MOOC on approaches to machine\n translation","volume":"16","author":"costa-juss\u00e0","year":"2015","journal-title":"Int Rev Res Open Distrib Learning"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref12","author":"halstead","year":"1977","journal-title":"Elements of Software Science"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1988.0003"},{"key":"ref14","first-page":"406","article-title":"Toward\n instant gradeification","author":"zimmerman","year":"2011","journal-title":"Proc IEEE-CS Conf Softw Eng Edu Training"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1016\/j.sbspro.2013.07.119","article-title":"The use of\n cyclomatic complexity metrics in programming performance's assessment","volume":"90","author":"mohamed","year":"2013","journal-title":"Procedia - Social and Behavioral Science"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/268085.268210"},{"key":"ref17","article-title":"Carta al respecte de l'avaluaci&#x00F3;\n de l'assignatura P1 a la FIB","year":"2008"},{"key":"ref18","author":"thompson","year":"2011","journal-title":"Haskell The Craft of Functional Programming"},{"key":"ref19","article-title":"Use of HDLs in teaching of computer hardware courses","author":"vranesic","year":"2003","journal-title":"Proc Workshop on Comput Architect Educ"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/WI.2004.10104","article-title":"A\n Web-based intelligent tutoring system for computer programming","author":"butz","year":"2004","journal-title":"Proc IEEE\/WIC\/ACM Int Conf Web Intell"},{"key":"ref4","article-title":"The BOSS online\n submission and assessment system","volume":"5","author":"joy","year":"2005","journal-title":"ACM J Educ Resources Comput"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/s40593-014-0014-z","article-title":"Analysing student programs in the PHP intelligent tutoring system","volume":"24","author":"weragama","year":"2014","journal-title":"Int J Artif Intell Ed"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-1315(03)00030-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2157136.2157268"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-319-00293-4_20","article-title":"A review of AI-supported tutoring approaches for\n learning programming","author":"le","year":"2013","journal-title":"Advanced Computational Methods for Knowledge Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-1315(01)00018-5"},{"key":"ref8","first-page":"437","article-title":"Fun in CS2","author":"duch","year":"2013","journal-title":"Proc 5th Int Conf Comput Supported Edu"},{"key":"ref7","first-page":"185","article-title":"Programaci&#x00F3; 1: A pure problem-oriented approach for a CS1 course","author":"gim\u00e9nez","year":"2009","journal-title":"Proc 4th Informat Edu Europe"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1930464.1930480"},{"key":"ref9","first-page":"176","article-title":"Better feedback for educational online\n judges","author":"mani","year":"2014","journal-title":"Proc 6th Int Conf Comput Supported Edu"},{"key":"ref1","article-title":"Automatic test-based assessment of programming: A review","volume":"5","author":"douce","year":"2005","journal-title":"ACM J Educ Resources Comput"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV2: An OpenSource tool for symbolic model\n checking","author":"cimatti","year":"2002","journal-title":"Proc Int Conf Comput -Aided Verification"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TLT.2014.2320919"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/43.180261"},{"key":"ref24","first-page":"343","article-title":"Application of an online judge & contester system in academic tuition","author":"kosowski","year":"2007","journal-title":"Proc International Conference on Advances in Web-Based Learning"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2566486.2568023"},{"key":"ref26","first-page":"149","article-title":"URI\n online judge academic","author":"bez","year":"2014","journal-title":"Proc 9th Int Conf Comput Sci Edu"},{"key":"ref25","first-page":"131","article-title":"Competitive\n learning in informatics: The UVa online judge experience","volume":"2","author":"revilla","year":"2008","journal-title":"Olympiads in Informatics"}],"container-title":["IEEE Transactions on Learning Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4620076\/8471278\/07968379.pdf?arnumber=7968379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T09:28:52Z","timestamp":1643189332000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7968379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,1]]},"references-count":36,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tlt.2017.2723389","relation":{},"ISSN":["1939-1382","2372-0050"],"issn-type":[{"value":"1939-1382","type":"electronic"},{"value":"2372-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,1]]}}}