Work

Software verification and graph similarity for automated evaluation of students’ assignments

Year: 2012

Type: article

Source: Information and Software Technology

DOI: 10.1016/j.infsof.2012.12.005

Authors: Milena Vujošević-Janičić, Mladen Nikolić, Dušan Tošić, Viktor Kuncak

Institutions: University of Belgrade, École Polytechnique Fédérale de Lausanne

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: green

Funders: National Science Foundation, Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

Awards: G4765615378, Decision Procedures: from Formalizations to Applications

OpenAlex ID: W2033903049

FWCI: 8.338

Cites: 98

Cited by: 94

Related to: 10