{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T01:56:29Z","timestamp":1780365389209,"version":"3.54.1"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T00:00:00Z","timestamp":1684713600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T00:00:00Z","timestamp":1684713600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,22]]},"DOI":"10.23919\/mipro57284.2023.10159706","type":"proceedings-article","created":{"date-parts":[[2023,6,29]],"date-time":"2023-06-29T17:20:56Z","timestamp":1688059256000},"page":"1317-1322","source":"Crossref","is-referenced-by-count":2,"title":["Partial SQL Query Assessment"],"prefix":"10.23919","author":[{"given":"Mario","family":"Fabijani\u0107","sequence":"first","affiliation":[{"name":"Algebra University College,Software Engineering,Zagreb,Croatia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Igor","family":"Mekterovi\u0107","sequence":"additional","affiliation":[{"name":"University of Zagreb,Faculty of Electrical Engineering and Computing,Croatia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3513140"},{"key":"ref35","article-title":"The HoTT libary in Coq","author":"gross","year":"0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3232116.3232143"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2007.1078"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3197091.3197124"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2990980"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1644015.1644017"},{"key":"ref30","first-page":"1","article-title":"Testing SQL Server ’ s Query Optimizer: Challenges, Techniques and Experiences","author":"giakoumakis","year":"2008","journal-title":"Bull IEEE Comput Soc Tech Comm Data Eng"},{"key":"ref11","first-page":"346","article-title":"The development of an online SQL learning system with automatic checking mechanism","author":"ying","year":"2011","journal-title":"Proc - 7th Int Conf Networked Comput Adv Inf Manag NCM 2011"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.08.004"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3210713.3210721"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1109\/TKDE.2004.19","article-title":"An efficient algorithm to compute differences between structured documents","volume":"16","author":"lee","year":"2004","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3143560"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/367415.367422"},{"key":"ref17","first-page":"41","article-title":"ASQLAG - Automated SQL Assignment Grading System for Multiple DBMSs","volume":"1","author":"trongratsameethong","year":"2018"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3372599"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1315803.1315821"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2526968.2526986"},{"key":"ref24","first-page":"223","article-title":"SQLator - An online SQL learning workbench","volume":"36","author":"sadiq","year":"2004","journal-title":"SIGCSE Bull (Association Comput Mach Spec Interes Gr Comput Sci Educ"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1384271.1384280"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.14778\/3236187.3236200"},{"key":"ref25","first-page":"683","article-title":"Full predicate coverage for testing SQL database queries","author":"tuya","year":"2011","journal-title":"Actas las 16th Jornadas Ing del Softw y Bases Datos JISBD 2011"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180202"},{"key":"ref22","first-page":"247","article-title":"Online Assessment of SQL Query Formulation Skills","volume":"20","author":"prior","year":"2003","journal-title":"ACE ’09"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.18848\/1447-9494\/CGP\/v12i03\/46714"},{"key":"ref28","first-page":"179","article-title":"Combining dynamic and static analysis for automated grading SQL statements","volume":"5","author":"wang","year":"2020","journal-title":"J Netw Intell"},{"key":"ref27","article-title":"Cosette: An automated prover for SQL","author":"chu","year":"2017","journal-title":"CIDR 2017 - 8th Bienn Conf Innov Data Syst Res"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2019.00159"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.caeai.2021.100027"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3102\/003465430298487"},{"key":"ref9","first-page":"284","article-title":"ArTEMiS - An automatic assessment management system for interactive learning","volume":"2018 janua","author":"krusche","year":"2018","journal-title":"SIGCSE 2018 - Proc 49th ACM Tech Symp Comput Sci Educ"},{"key":"ref4","first-page":"129","article-title":"A flexible dynamic system for automatic grading of programming exercises","volume":"29","author":"fonte","year":"2013","journal-title":"OpenAccess Ser Informatics"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/EDUCON46332.2021.9453889"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/03075070600572090"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2018.2805706"}],"event":{"name":"2023 46th MIPRO ICT and Electronics Convention (MIPRO)","location":"Opatija, Croatia","start":{"date-parts":[[2023,5,22]]},"end":{"date-parts":[[2023,5,26]]}},"container-title":["2023 46th MIPRO ICT and Electronics Convention (MIPRO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10159631\/10159632\/10159706.pdf?arnumber=10159706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T17:55:22Z","timestamp":1696874122000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10159706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,22]]},"references-count":35,"URL":"https:\/\/doi.org\/10.23919\/mipro57284.2023.10159706","relation":{},"subject":[],"published":{"date-parts":[[2023,5,22]]}}}