Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/598
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Vujošević Janičić, Milena | en_US |
dc.contributor.author | Marić, Filip | en_US |
dc.date.accessioned | 2022-08-13T15:50:05Z | - |
dc.date.available | 2022-08-13T15:50:05Z | - |
dc.date.issued | 2020-01-01 | - |
dc.identifier.issn | 18200214 | en |
dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/598 | - |
dc.description.abstract | Regression verification is a form of software verification based on formal static analysis of code, which is used, since recently, in several domains. In this paper we examine potentials of using it in one novel domain — in automated evaluation of students programs. We propose an approach that provides precise assessment of functional correctness of student programs (while it does not address nor affect the teaching methodology). We describe our open-source, publicly available implementation of the approach, which is built on top of the compiler infrastructure LLVM and the software verification tool LAV. The results of evaluating the proposed approach on two real-world corpora of student programs and on a number of classic algorithms show that the proposed approach can be used as a precise and reliable supplementary technique in grading of student programs at introductory programming courses, algorithms courses and programming competitions. | en |
dc.relation.ispartof | Computer Science and Information Systems | en |
dc.subject | Automated evaluation of student programs | en |
dc.subject | Computer-supported education | en |
dc.subject | Regression verification | en |
dc.subject | Software verification | en |
dc.title | Regression verification for automated evaluation of students programs | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.2298/CSIS181220019V | - |
dc.identifier.scopus | 2-s2.0-85079905606 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85079905606 | - |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.relation.firstpage | 205 | en |
dc.relation.lastpage | 227 | en |
dc.relation.volume | 17 | en |
dc.relation.issue | 1 | 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 | - |
crisitem.author.orcid | 0000-0001-7219-6960 | - |
Appears in Collections: | Research outputs |
SCOPUSTM
Citations
4
checked on Dec 21, 2024
Page view(s)
16
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.