On the public citation graph
Software verification and graph similarity for automated evaluation of students’ assignments
0 signed · 168 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/nav.3800020109openalex-snapshot
The Hungarian method for the assignment problem
inferredcites →https://doi.org/10.1007/978-3-319-10575-8_11openalex-snapshot
Satisfiability Modulo Theories
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_15openalex-snapshot
A Tool for Checking ANSI-C Programs
inferredcites →https://doi.org/10.1007/978-3-540-69850-0_1openalex-snapshot
The Birth of Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-79124-9_10openalex-snapshot
Pex–White Box Test Generation for .NET
inferredcites →https://doi.org/10.1007/978-3-642-14533-9_25openalex-snapshot
Design and Implementation of Semantic Matching Based Automatic Scoring System for C Programming Language
inferredcites →https://doi.org/10.1007/978-3-642-19237-1_4openalex-snapshot
DART: Directed Automated Random Testing
inferredcites →https://doi.org/10.1007/978-3-642-27705-4_12openalex-snapshot
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
inferredcites →https://doi.org/10.1007/978-3-642-27705-4_9openalex-snapshot
Development and Evaluation of LAV: An SMT-Based Error Finding Platform
inferredcites →https://doi.org/10.1007/978-3-642-27940-9_3openalex-snapshot
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
inferredcites →https://doi.org/10.1007/bfb0054165openalex-snapshot
OPEN/CÆSAR: An open software architecture for verification, simulation, and testing
inferredcites →https://doi.org/10.1007/s10703-005-3401-0openalex-snapshot
Using Static Analysis to Reduce Dynamic Analysis Overhead
inferredcites →https://doi.org/10.1016/0950-5849(88)90037-7openalex-snapshot
Random testing revisited
inferredcites →https://doi.org/10.1016/0950-5849(88)90133-4openalex-snapshot
Comparison of manual and automated marking of student programs
inferredcites →https://doi.org/10.1016/j.compedu.2006.11.006openalex-snapshot
Performance analysis of GAME: A generic automated marking environment
inferredcites →https://doi.org/10.1016/j.compedu.2009.09.005openalex-snapshot
Marking student programs using graph similarity
inferredcites →https://doi.org/10.1016/j.compedu.2010.08.003openalex-snapshot
Ability-training-oriented automated assessment in introductory programming course
inferredcites →https://doi.org/10.1016/j.infsof.2006.03.001openalex-snapshot
Semantic similarity-based grading of student programs
inferredcites →https://doi.org/10.1016/j.infsof.2008.03.007openalex-snapshot
Empirical investigation towards the effectiveness of Test First programming
inferredcites →https://doi.org/10.1016/j.infsof.2008.12.005openalex-snapshot
A systematic review of search-based testing for non-functional system properties
inferredcites →https://doi.org/10.1016/s0360-1315(03)00030-7openalex-snapshot
On automated grading of programming assignments in an academic institution
inferredcites →https://doi.org/10.1016/s0360-1315(97)00021-3openalex-snapshot
PASS: An automated system for program assessment
inferredcites →https://doi.org/10.1080/08993400500150747openalex-snapshot
A Survey of Automated Assessment Approaches for Programming Assignments
inferredcites →https://doi.org/10.1093/bioinformatics/btg1018openalex-snapshot
Deriving phylogenetic trees from the similarity analysis of metabolic pathways
inferredcites →https://doi.org/10.1109/ase.2009.63openalex-snapshot
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
inferredcites →https://doi.org/10.1109/fie.1999.839303openalex-snapshot
WebToTeach: an interactive focused programming exercise system
inferredcites →https://doi.org/10.1109/fie.2002.1157985openalex-snapshot
Automatically grading Java programming assignments via reflection, inheritance, and regular expressions
inferredcites →https://doi.org/10.1109/fie.2003.1265998openalex-snapshot
Automatic grading of student's programming assignments: an interactive process and suite of programs
inferredcites →https://doi.org/10.1109/icse.1992.753516openalex-snapshot
The use of program dependence graphs in software engineering
inferredcites →https://doi.org/10.1109/tse.1984.5010257openalex-snapshot
An Evaluation of Random Testing
inferredcites →https://doi.org/10.1137/s0036144502415960openalex-snapshot
A Measure of Similarity between Graph Vertices: Applications to Synonym Extraction and Web Searching
inferredcites →https://doi.org/10.1145/1007568openalex-snapshot
Proceedings of the 2004 ACM SIGMOD international conference on Management of data
inferredcites →https://doi.org/10.1145/1007996.1008033openalex-snapshot
Automated assessment of GUI programs using JEWL
inferredcites →https://doi.org/10.1145/1026487.1008033openalex-snapshot
Automated assessment of GUI programs using JEWL
inferredcites →https://doi.org/10.1145/1047124.1047427openalex-snapshot
Using testing and JUnit across the curriculum
inferredcites →https://doi.org/10.1145/113445openalex-snapshot
Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation - PLDI '91
inferredcites →https://doi.org/10.1145/1163405.1163407openalex-snapshot
The boss online submission and assessment system
inferredcites →https://doi.org/10.1145/1163405.1163409openalex-snapshot
Automatic test-based assessment of programming
inferredcites →https://doi.org/10.1145/1163405.1163410openalex-snapshot
Automated assessment and experiences of teaching programming
inferredcites →https://doi.org/10.1145/1189215openalex-snapshot
Working group reports on ITiCSE on Innovation and technology in computer science education - ITiCSE-WGR '06
inferredcites →https://doi.org/10.1145/1251535.1251536openalex-snapshot
Evaluating static analysis defect warnings on production software
inferredcites →https://doi.org/10.1145/1345375.1345441openalex-snapshot
A survey of literature on the teaching of introductory programming
inferredcites →https://doi.org/10.1145/143062openalex-snapshot
0897915046/International Conference on Software Engineering
inferredcites →https://doi.org/10.1145/187387.187389openalex-snapshot
On criteria for grading student programs
inferredcites →https://doi.org/10.1145/1930464.1930480openalex-snapshot
Review of recent systems for automatic assessment of programming assignments
inferredcites →https://doi.org/10.1145/2090147.2094081openalex-snapshot
SAGE: Whitebox Fuzzing for Security Testing
inferredcites →https://doi.org/10.1145/268084.268210openalex-snapshot
Grading student programs using ASSYST
inferredcites →https://doi.org/10.1145/268085.268210openalex-snapshot
Grading student programs using ASSYST
inferredcites →https://doi.org/10.1145/28869.28874openalex-snapshot
Fibonacci heaps and their uses in improved network optimization algorithms
inferredcites →https://doi.org/10.1145/321694.321699openalex-snapshot
Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems
inferredcites →https://doi.org/10.1145/324133.324140openalex-snapshot
Authoritative sources in a hyperlinked environment
inferredcites →https://doi.org/10.1145/343048.343090openalex-snapshot
Making students read and review code
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/362946.362981openalex-snapshot
An automatic grading scheme for simple programming exercises
inferredcites →https://doi.org/10.1145/377435.377666openalex-snapshot
Fully automatic assessment of programming exercises
inferredcites →https://doi.org/10.1145/507758.377666openalex-snapshot
Fully automatic assessment of programming exercises
inferredcites →https://doi.org/10.1145/65293.71198openalex-snapshot
The TRY system -or- how to avoid testing student programs
inferredcites →https://doi.org/10.1145/65294.71198openalex-snapshot
The TRY system -or- how to avoid testing student programs
inferredcites →https://doi.org/10.1145/800028openalex-snapshot
Proceedings of a symposium on Compiler optimization -
inferredcites →https://doi.org/10.1145/949344.949390openalex-snapshot
Rethinking computer science education from a test-first perspective
inferredcites →https://doi.org/10.1145/949386.949390openalex-snapshot
Rethinking computer science education from a test-first perspective
inferredcites →https://doi.org/10.1145/961511openalex-snapshot
Proceedings of the 8th annual conference on Innovation and technology in computer science education
inferredcites →https://doi.org/10.1145/96267.96279openalex-snapshot
An empirical study of the reliability of UNIX utilities
inferredcites →https://doi.org/10.15388/infedu.2007.06openalex-snapshot
Creating and Visualizing Test Data from Programming Exercises
inferredcites →https://doi.org/10.3233/ida-2012-00556openalex-snapshot
Measuring similarity of graph nodes by neighbor matching
inferredcites →https://doi.org/10.4018/jwltt.2007100103openalex-snapshot
A System for Automatic Evaluation of C Programs
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
inferredcites →https://doi.org/10.5555/369279.369354openalex-snapshot
Grading student programs - a software testing approach
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cae.21971openalex-snapshot
Process mining based approach to performance evaluation in computer‐aided examinations
inferred← citeshttps://doi.org/10.1007/978-3-030-37228-6_14openalex-snapshot
Topology-Aware Hashing for Effective Control Flow Graph Similarity Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_7openalex-snapshot
Formal Autograding in a Classroom
inferred← citeshttps://doi.org/10.1007/978-3-319-07617-1_30openalex-snapshot
Mutual Information-Based Feature Selection in Fuzzy Databases Applied to Searching for the Best Code Metrics in Automatic Grading
inferred← citeshttps://doi.org/10.1007/978-3-319-08644-6_31openalex-snapshot
Selecting the Most Informative Inputs in Modelling Problems with Vague Data Applied to the Search of Informative Code Metrics for Continuous Assessment in Computer Science Online Courses
inferred← citeshttps://doi.org/10.1007/s10270-017-0612-yopenalex-snapshot
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
inferred← citeshttps://doi.org/10.1007/s10618-020-00733-5openalex-snapshot
Deep graph similarity learning: a survey
inferred← citeshttps://doi.org/10.1007/s11219-020-09517-yopenalex-snapshot
Verification supported refactoring of embedded sql
inferred← citeshttps://doi.org/10.1007/s12528-022-09310-9openalex-snapshot
Enhancing students’ beliefs regarding programming self-efficacy and intrinsic value of an online distributed Programming Environment
inferred← citeshttps://doi.org/10.1007/s40593-016-0116-xopenalex-snapshot
An Educational System for Learning Search Algorithms and Automatically Assessing Student Performance
inferred← citeshttps://doi.org/10.1007/s42979-026-05286-wopenalex-snapshot
Autograding of Programs Using Siamese Network-Based Semantic Code Similarity Detection
inferred← citeshttps://doi.org/10.1016/j.caeai.2025.100403openalex-snapshot
Artificial intelligence in computer programming education: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.compedu.2018.09.021openalex-snapshot
Analyzing students' perceptions to improve the design of an automated assessment tool in online distributed programming
inferred← citeshttps://doi.org/10.1016/j.ins.2016.08.090openalex-snapshot
Finding informative code metrics under uncertainty for predicting the pass rate of online courses
inferred← citeshttps://doi.org/10.1080/08993408.2020.1860408openalex-snapshot
Towards understanding the effective design of automated formative feedback for programming assignments
inferred← citeshttps://doi.org/10.1080/10447318.2021.1938400openalex-snapshot
Using a Notification, Recommendation and Monitoring System to Improve Interaction in an Automated Assessment Tool: An Analysis of Students’ Perceptions
inferred← citeshttps://doi.org/10.1080/10494820.2022.2091614openalex-snapshot
Facilitating complex assessment using Moodle
inferred← citeshttps://doi.org/10.1109/access.2020.2966595openalex-snapshot
CASA: An Architecture to Support Complex Assessment Scenarios
inferred← citeshttps://doi.org/10.1109/csci58124.2022.00351openalex-snapshot
Leveraging Continuous Feedback in Education to Increase C Code Quality
inferred← citeshttps://doi.org/10.1109/dsn.2019.00045openalex-snapshot
Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries
inferred← citeshttps://doi.org/10.1109/ecti-con68836.2026.11608403openalex-snapshot
A Framework for Prompt-based Learning Automated Feedback System
inferred← citeshttps://doi.org/10.1109/educon.2016.7474648openalex-snapshot
Semantic similarity based evaluation for C programs through the use of symbolic execution
inferred← citeshttps://doi.org/10.1109/fie58773.2023.10342916openalex-snapshot
Task-fidelity Assessment for Programming Tasks Using Semantic Code Analysis
inferred← citeshttps://doi.org/10.1109/i-coste60462.2023.10500811openalex-snapshot
An Intelligent Semantic Vector Search Model for Grading and Assessing Students
inferred← citeshttps://doi.org/10.1109/icde.2017.169openalex-snapshot
Automated Personalized Feedback in Introductory Java Programming MOOCs
inferred← citeshttps://doi.org/10.1109/icetci58599.2023.10331134openalex-snapshot
Programming Assignment Grading Through Control Statement and Program Features
inferred← citeshttps://doi.org/10.1109/iciteed.2015.7408930openalex-snapshot
Proposed framework for automatic grading system of ER diagram
inferred← citeshttps://doi.org/10.1109/icmla.2013.22openalex-snapshot
Automatic Grading of Computer Programs: A Machine Learning Approach
inferred← citeshttps://doi.org/10.1109/icnisc57059.2022.00179openalex-snapshot
Student Programs Performance Scoring Based on Probabilistic Latent Semantic Analysis and Multi-granularity Feature Fusion for MOOC
inferred← citeshttps://doi.org/10.1109/icocs.2015.7483289openalex-snapshot
Automatic program assessment using static and dynamic analysis
inferred← citeshttps://doi.org/10.1109/icodse53690.2021.9648464openalex-snapshot
Evaluating Control-Flow Graph Similarity for Grading Programming Exercises
inferred← citeshttps://doi.org/10.1109/icse-seet.2019.00022openalex-snapshot
Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics
inferred← citeshttps://doi.org/10.1109/miucc55081.2022.9781736openalex-snapshot
Review of Programming Assignments Automated Assessment Systems
inferred← citeshttps://doi.org/10.1109/qsic.2014.28openalex-snapshot
A Method to Evaluate CFG Comparison Algorithms
inferred← citeshttps://doi.org/10.1109/scisisis55246.2022.10001960openalex-snapshot
A Model to Automatically Evaluate Beginners’ Programs Based on Syntactic Knowledge Point and Deep Learning Technology
inferred← citeshttps://doi.org/10.1109/snpd.2015.7176255openalex-snapshot
Design and evaluation of automated scoring Java programming assignments
inferred← citeshttps://doi.org/10.1109/t4e.2016.017openalex-snapshot
Improving Classroom Discussions of Programming Assignments via Language Choice
inferred← citeshttps://doi.org/10.1109/tale.2015.7386010openalex-snapshot
Towards practical programming exercises and automated assessment in Massive Open Online Courses
inferred← citeshttps://doi.org/10.1109/tc.2019.2953752openalex-snapshot
Graph Similarity and its Applications to Hardware Security
inferred← citeshttps://doi.org/10.1109/tlt.2018.2876249openalex-snapshot
Automated Assessment of Complex Programming Tasks Using SIETTE
inferred← citeshttps://doi.org/10.1111/bjet.12756openalex-snapshot
Fruitful student interactions and perceived learning improvement in DSLab: A dynamic assessment tool for distributed programming
inferred← citeshttps://doi.org/10.1111/jcal.12605openalex-snapshot
Using a distributed systems laboratory to facilitate students' cognitive, metacognitive and critical thinking strategy use
inferred← citeshttps://doi.org/10.1142/s021812662550029xopenalex-snapshot
A Machine Learning-Based Automated Scoring Approach for Operator Code Assignments
inferred← citeshttps://doi.org/10.1142/s0218194020500242openalex-snapshot
Concurrent Bug Finding Based on Bounded Model Checking
inferred← citeshttps://doi.org/10.1145/2623330.2623377openalex-snapshot
A system to grade computer programming skills using machine learning
inferred← citeshttps://doi.org/10.1145/2899415.2899433openalex-snapshot
Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment
inferred← citeshttps://doi.org/10.1145/3060143openalex-snapshot
Verifying Procedural Programs via Constrained Rewriting Induction
inferred← citeshttps://doi.org/10.1145/3210713.3210721openalex-snapshot
The framework of a new online judge system for programming education
inferred← citeshttps://doi.org/10.1145/3231711openalex-snapshot
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises
inferred← citeshttps://doi.org/10.1145/3293881.3295779openalex-snapshot
Introductory programming: a systematic literature review
inferred← citeshttps://doi.org/10.1145/3313789openalex-snapshot
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software
inferred← citeshttps://doi.org/10.1145/3328778.3366868openalex-snapshot
Automated Assessment of the Visual Design of Android Apps Developed with App Inventor
inferred← citeshttps://doi.org/10.1145/3330430.3333646openalex-snapshot
Student Code Trajectories in an Introductory Programming MOOC
inferred← citeshttps://doi.org/10.1145/3357155.3358463openalex-snapshot
CodeMaster UI design - app inventor
inferred← citeshttps://doi.org/10.1145/3357384.3357960openalex-snapshot
Clustering Recurrent and Semantically Cohesive Program Statements in Introductory Programming Assignments
inferred← citeshttps://doi.org/10.1145/3528588.3528654openalex-snapshot
Story point level classification by text level graph neural network
inferred← citeshttps://doi.org/10.1145/3597926.3598049openalex-snapshot
Concept-Based Automated Grading of CS-1 Programming Assignments
inferred← citeshttps://doi.org/10.1145/3622780openalex-snapshot
Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E
inferred← citeshttps://doi.org/10.1145/3622780.3623650openalex-snapshot
Witter: A Library for White-Box Testing of Introductory Programming Algorithms
inferred← citeshttps://doi.org/10.1145/3649217.3653619openalex-snapshot
Scalable Autograding for Quantum Programming Assignments
inferred← citeshttps://doi.org/10.1145/3828727openalex-snapshot
Formal Autograding in a Classroom (Extended Version)
inferred← citeshttps://doi.org/10.1155/2014/468405openalex-snapshot
A Procedure for Extending Input Selection Algorithms to Low Quality Data in Modelling Problems with Application to the Automatic Grading of Uploaded Assignments
inferred← citeshttps://doi.org/10.11606/t.55.2019.tde-29082019-095834openalex-snapshot
A framework for experimental studies on the integration of software testing into programming education
inferred← citeshttps://doi.org/10.14569/specialissue.2013.030408openalex-snapshot
Advancing Research Infrastructure Using OpenStack
inferred← citeshttps://doi.org/10.15388/infedu.2018.08openalex-snapshot
CodeMaster - Automatic Assessment and Grading of App Inventor and Snap! Programs
inferred← citeshttps://doi.org/10.15388/infedu.2019.02openalex-snapshot
Approaches to Assess Computational Thinking Competences Based on Code Analysis in K-12 Education: A Systematic Mapping Study
inferred← citeshttps://doi.org/10.2298/bg20131217vujosevicjanicicopenalex-snapshot
Automated generation and checking of verification conditions
inferred← citeshttps://doi.org/10.2298/csis181220019vopenalex-snapshot
Regression verification for automated evaluation of students programs
inferred← citeshttps://doi.org/10.2298/csis230615004popenalex-snapshot
Comparing semantic graph representations of source code: The case of automatic feedback on programming assignments
inferred← citeshttps://doi.org/10.2298/csis230730015popenalex-snapshot
A novel approach to source code assembling in the field of algorithmic complexity
inferred← citeshttps://doi.org/10.28945/2292openalex-snapshot
Software Quality and Security in Teachers' and Students' Codes When Learning a New Programming Language
inferred← citeshttps://doi.org/10.3389/frai.2023.1151391openalex-snapshot
Proactive and reactive engagement of artificial intelligence methods for education: a review
inferred← citeshttps://doi.org/10.3390/electronics12224596openalex-snapshot
Design of an Online Programming Platform and a Study on Learners’ Testing Ability
inferred← citeshttps://doi.org/10.3390/technologies12120244openalex-snapshot
Formal Verification of Code Conversion: A Comprehensive Survey
inferred← citeshttps://doi.org/10.3906/elk-1603-323openalex-snapshot
Edge distance graph kernel and its application to small molecule classification
inferred← citeshttps://doi.org/10.4018/ijsi.2015100102openalex-snapshot
Design and Evaluation of Automated Scoring
inferred← citeshttps://doi.org/10.5120/ijca2019918929openalex-snapshot
Graph based Hybrid Assessment System for Programming Assignments
inferred← citeshttps://doi.org/10.5555/2541917.2541921openalex-snapshot
Automated Assessment of Programming Assignments
inferred← citeshttps://doi.org/10.5753/desafie.2015.10048openalex-snapshot
Abordagens, Práticas e Desafios da Avaliação Automática de Exercícios de Programação
inferred← citeshttps://doi.org/10.7282/t3-zy08-nn55openalex-snapshot
Exploring semantic reverse engineering for software binary protection
inferred← citeshttps://doi.org/10.7717/peerj-cs.3946openalex-snapshot
Assessing the effectiveness of large language models for generating and estimating time complexity of code segments
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.