{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:TF6N77XCGUXT4AXZ3DRIBFSQUG","short_pith_number":"pith:TF6N77XC","schema_version":"1.0","canonical_sha256":"997cdffee2352f3e02f9d8e2809650a19419871cadce1536315f1517731f1b95","source":{"kind":"arxiv","id":"1206.7064","version":1},"attestation_state":"computed","paper":{"title":"Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Dusan Tosic, Milena Vujosevic-Janicic, Mladen Nikolic, Viktor Kuncak","submitted_at":"2012-06-29T16:10:20Z","abstract_excerpt":"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 framework that merges results obtained by combination of these two approaches with results obtained by automated testing, leading to improved quality and precision of automated grading. These two approaches are also useful in providing a comprehensible feedback that can help students to improve the quality of their programs We also present our corresponding tools that are publicly available and open source. The tools ar"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1206.7064","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-29T16:10:20Z","cross_cats_sorted":[],"title_canon_sha256":"4cd32611183326db645dc0ada35df9c25714868315d76c28f1a9e9eedafe1a98","abstract_canon_sha256":"eee135e0f8ef85fe31bdfcacc58f21a4c745e61674fab81ed39fec0b57dc1c4f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:52:13.108461Z","signature_b64":"fEKhAtKt+DRO/J01z7SYXAiOvuho+FxuG5dm+d/7frjjE+xgyY4xFruKOD94eWZKBJLqsUVfw0pzWMd7SJ0eCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"997cdffee2352f3e02f9d8e2809650a19419871cadce1536315f1517731f1b95","last_reissued_at":"2026-05-18T03:52:13.107786Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:52:13.107786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Dusan Tosic, Milena Vujosevic-Janicic, Mladen Nikolic, Viktor Kuncak","submitted_at":"2012-06-29T16:10:20Z","abstract_excerpt":"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 framework that merges results obtained by combination of these two approaches with results obtained by automated testing, leading to improved quality and precision of automated grading. These two approaches are also useful in providing a comprehensible feedback that can help students to improve the quality of their programs We also present our corresponding tools that are publicly available and open source. The tools ar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.7064","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1206.7064","created_at":"2026-05-18T03:52:13.107881+00:00"},{"alias_kind":"arxiv_version","alias_value":"1206.7064v1","created_at":"2026-05-18T03:52:13.107881+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.7064","created_at":"2026-05-18T03:52:13.107881+00:00"},{"alias_kind":"pith_short_12","alias_value":"TF6N77XCGUXT","created_at":"2026-05-18T12:27:23.164592+00:00"},{"alias_kind":"pith_short_16","alias_value":"TF6N77XCGUXT4AXZ","created_at":"2026-05-18T12:27:23.164592+00:00"},{"alias_kind":"pith_short_8","alias_value":"TF6N77XC","created_at":"2026-05-18T12:27:23.164592+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG","json":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG.json","graph_json":"https://pith.science/api/pith-number/TF6N77XCGUXT4AXZ3DRIBFSQUG/graph.json","events_json":"https://pith.science/api/pith-number/TF6N77XCGUXT4AXZ3DRIBFSQUG/events.json","paper":"https://pith.science/paper/TF6N77XC"},"agent_actions":{"view_html":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG","download_json":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG.json","view_paper":"https://pith.science/paper/TF6N77XC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1206.7064&json=true","fetch_graph":"https://pith.science/api/pith-number/TF6N77XCGUXT4AXZ3DRIBFSQUG/graph.json","fetch_events":"https://pith.science/api/pith-number/TF6N77XCGUXT4AXZ3DRIBFSQUG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG/action/storage_attestation","attest_author":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG/action/author_attestation","sign_citation":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG/action/citation_signature","submit_replication":"https://pith.science/pith/TF6N77XCGUXT4AXZ3DRIBFSQUG/action/replication_record"}},"created_at":"2026-05-18T03:52:13.107881+00:00","updated_at":"2026-05-18T03:52:13.107881+00:00"}