Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/478
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Vujošević Janičić, Milena | en_US |
dc.contributor.author | Nikolić, Mladen | en_US |
dc.contributor.author | Tošić, Dušan | en_US |
dc.contributor.author | Kuncak, Viktor | en_US |
dc.date.accessioned | 2022-08-13T09:51:52Z | - |
dc.date.available | 2022-08-13T09:51:52Z | - |
dc.date.issued | 2013-06-01 | - |
dc.identifier.issn | 09505849 | en |
dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/478 | - |
dc.description.abstract | Context: The number of students enrolled in universities at standard and on-line programming courses is rapidly increasing. This calls for automated evaluation of students assignments. Objective: We aim to develop methods and tools for objective and reliable automated grading that can also provide substantial and comprehensible feedback. Our approach targets introductory programming courses, which have a number of specific features and goals. The benefits are twofold: reducing the workload for teachers, and providing helpful feedback to students in the process of learning. Method: For sophisticated automated evaluation of students' programs, our grading framework combines results of three approaches (i) testing, (ii) software verification, and (iii) control flow graph similarity measurement. We present our tools for software verification and control flow graph similarity measurement, which are publicly available and open source. The tools are based on an intermediate code representation, so they could be applied to a number of programming languages. Results: Empirical evaluation of the proposed grading framework is performed on a corpus of programs written by university students in programming language C within an introductory programming course. Results of the evaluation show that the synergy of proposed approaches improves the quality and precision of automated grading and that automatically generated grades are highly correlated with instructor-assigned grades. Also, the results show that our approach can be trained to adapt to teacher's grading style. Conclusions: In this paper we integrate several techniques for evaluation of student's assignments. The obtained results suggest that the presented tools can find real-world applications in automated grading. © 2012 Elsevier B.V. All rights reserved. | en |
dc.relation.ispartof | Information and Software Technology | en |
dc.subject | Automated grading | en |
dc.subject | Computer supported education | en |
dc.subject | Graph similarity | en |
dc.subject | Software verification | en |
dc.title | Software verification and graph similarity for automated evaluation of students' assignments | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1016/j.infsof.2012.12.005 | - |
dc.identifier.scopus | 2-s2.0-84876212686 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/84876212686 | - |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.relation.firstpage | 1004 | en |
dc.relation.lastpage | 1016 | en |
dc.relation.volume | 55 | en |
dc.relation.issue | 6 | en |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairetype | Article | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.orcid | 0000-0001-5396-0644 | - |
Appears in Collections: | Research outputs |
SCOPUSTM
Citations
78
checked on Dec 18, 2024
Page view(s)
28
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.