English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

In this paper we promote introducing software verification and control flowgraph similarity measurement in automated evaluation of students' programs. Wepresent a new grading framework that merges results obtained by combination ofthese two approaches with results obtained by automated testing, leading toimproved quality and precision of automated grading. These two approaches arealso useful in providing a comprehensible feedback that can help students toimprove the quality of their programs We also present our corresponding toolsthat are publicly available and open source. The tools are based on LLVMlow-level intermediate code representation, so they could be applied to anumber of programming languages. Experimental evaluation of the proposedgrading framework is performed on a corpus of university students' programswritten in programming language C. Results of the experiments show thatautomatically generated grades are highly correlated with manually determinedgrades suggesting that the presented tools can find real-world applications instudying and grading.

Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments