1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Soundness and Completeness of SPARQL Query Containment Solver SpeCS
Mirko Spasić, Milena Vujošević Janičić
Tool SPECS implements an efficient automated approach for reasoning about the SPARQL query containment problem. In this paper, we prove the correctness of this approach. We give pr…
cs.AI2012
Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments
Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic +1
In this paper we promote introducing software verification and control flow graph similarity measurement in automated evaluation of students' programs. We present a new grading fra…