{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:VW2CBFVP2BLICTHF2TCVGWA5GX","short_pith_number":"pith:VW2CBFVP","canonical_record":{"source":{"id":"1108.5434","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-27T09:36:35Z","cross_cats_sorted":[],"title_canon_sha256":"c51b49932ece805d058bd041bee19030c266ed31123984d208ac13fa28e3ba3b","abstract_canon_sha256":"153eb8af61b96215501f22568beeef2ba08f33879970936fae58d44ef1b8555d"},"schema_version":"1.0"},"canonical_sha256":"adb42096afd056814ce5d4c553581d35d7ed7cc4552ed9e0fd29b4e8e26a8d22","source":{"kind":"arxiv","id":"1108.5434","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.5434","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"arxiv_version","alias_value":"1108.5434v1","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.5434","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"pith_short_12","alias_value":"VW2CBFVP2BLI","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"VW2CBFVP2BLICTHF","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"VW2CBFVP","created_at":"2026-05-18T12:26:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:VW2CBFVP2BLICTHF2TCVGWA5GX","target":"record","payload":{"canonical_record":{"source":{"id":"1108.5434","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-27T09:36:35Z","cross_cats_sorted":[],"title_canon_sha256":"c51b49932ece805d058bd041bee19030c266ed31123984d208ac13fa28e3ba3b","abstract_canon_sha256":"153eb8af61b96215501f22568beeef2ba08f33879970936fae58d44ef1b8555d"},"schema_version":"1.0"},"canonical_sha256":"adb42096afd056814ce5d4c553581d35d7ed7cc4552ed9e0fd29b4e8e26a8d22","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:14:37.517773Z","signature_b64":"Lmc2lq5Fb2EHJ0CLUat8c3njD2i7xOovh6mnkPHVV8J/w7QPy+NPAvmR+apCKKP7s1SCNKltVL8Zn4lWN0RqCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"adb42096afd056814ce5d4c553581d35d7ed7cc4552ed9e0fd29b4e8e26a8d22","last_reissued_at":"2026-05-18T04:14:37.517235Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:14:37.517235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.5434","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:14:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"riqMQOBL65Mfk8zlZRa5iTGlKnB22HVGsuKa/NLb4Zrm8MPOr+XtsRh2dxbJ0V3kEEYJqinEBvuGqQttGMwoDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:28:56.063110Z"},"content_sha256":"658c67a8228402a029bf654aad40679299f7fd5867af15f984e7a785636592e7","schema_version":"1.0","event_id":"sha256:658c67a8228402a029bf654aad40679299f7fd5867af15f984e7a785636592e7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:VW2CBFVP2BLICTHF2TCVGWA5GX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unit Testing in ASPIDE","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Francesco Ricca, Kristian Reale, Nicola Leone, Onofrio Febbraro","submitted_at":"2011-08-27T09:36:35Z","abstract_excerpt":"Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles' heel of the available programming environments.\n  In this paper we present a language for specifying and running unit tests on ASP programs. The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the enti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.5434","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:14:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EIFAHas5mZiQJIiB03wan4XJN+5ge4koadg8LBT4YHWQfxHSjICsgYivuHSawShsouQ4bI9CxVAvygGW2kypDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:28:56.063482Z"},"content_sha256":"55737d849cd521b72d642ebbd199c1756de54e4aab81f1edc9fe1dc61d880b79","schema_version":"1.0","event_id":"sha256:55737d849cd521b72d642ebbd199c1756de54e4aab81f1edc9fe1dc61d880b79"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VW2CBFVP2BLICTHF2TCVGWA5GX/bundle.json","state_url":"https://pith.science/pith/VW2CBFVP2BLICTHF2TCVGWA5GX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VW2CBFVP2BLICTHF2TCVGWA5GX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-23T23:28:56Z","links":{"resolver":"https://pith.science/pith/VW2CBFVP2BLICTHF2TCVGWA5GX","bundle":"https://pith.science/pith/VW2CBFVP2BLICTHF2TCVGWA5GX/bundle.json","state":"https://pith.science/pith/VW2CBFVP2BLICTHF2TCVGWA5GX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VW2CBFVP2BLICTHF2TCVGWA5GX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:VW2CBFVP2BLICTHF2TCVGWA5GX","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"153eb8af61b96215501f22568beeef2ba08f33879970936fae58d44ef1b8555d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-27T09:36:35Z","title_canon_sha256":"c51b49932ece805d058bd041bee19030c266ed31123984d208ac13fa28e3ba3b"},"schema_version":"1.0","source":{"id":"1108.5434","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.5434","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"arxiv_version","alias_value":"1108.5434v1","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.5434","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"pith_short_12","alias_value":"VW2CBFVP2BLI","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"VW2CBFVP2BLICTHF","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"VW2CBFVP","created_at":"2026-05-18T12:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:55737d849cd521b72d642ebbd199c1756de54e4aab81f1edc9fe1dc61d880b79","target":"graph","created_at":"2026-05-18T04:14:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles' heel of the available programming environments.\n  In this paper we present a language for specifying and running unit tests on ASP programs. The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the enti","authors_text":"Francesco Ricca, Kristian Reale, Nicola Leone, Onofrio Febbraro","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-27T09:36:35Z","title":"Unit Testing in ASPIDE"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.5434","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:658c67a8228402a029bf654aad40679299f7fd5867af15f984e7a785636592e7","target":"record","created_at":"2026-05-18T04:14:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"153eb8af61b96215501f22568beeef2ba08f33879970936fae58d44ef1b8555d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-27T09:36:35Z","title_canon_sha256":"c51b49932ece805d058bd041bee19030c266ed31123984d208ac13fa28e3ba3b"},"schema_version":"1.0","source":{"id":"1108.5434","kind":"arxiv","version":1}},"canonical_sha256":"adb42096afd056814ce5d4c553581d35d7ed7cc4552ed9e0fd29b4e8e26a8d22","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"adb42096afd056814ce5d4c553581d35d7ed7cc4552ed9e0fd29b4e8e26a8d22","first_computed_at":"2026-05-18T04:14:37.517235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:14:37.517235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Lmc2lq5Fb2EHJ0CLUat8c3njD2i7xOovh6mnkPHVV8J/w7QPy+NPAvmR+apCKKP7s1SCNKltVL8Zn4lWN0RqCw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:14:37.517773Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.5434","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:658c67a8228402a029bf654aad40679299f7fd5867af15f984e7a785636592e7","sha256:55737d849cd521b72d642ebbd199c1756de54e4aab81f1edc9fe1dc61d880b79"],"state_sha256":"9099d7b671b68c27773305a4f376b3e0f2a6f24dcae9bf51d7266cc984d60c66"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LG7kxWdyeYtnQw4vEDXEVhninlCv09CrzlR5iFiNG/lhrCGsMUg6EjFjFGggHTToFSvS3bAzJuVo+Fwhr3IOAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T23:28:56.065494Z","bundle_sha256":"45bcb41151940aa0984e31e0f8a56cba4b4a1310523813803fe08ff487782ab0"}}