{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:A22BPFWVEPXLPHZCXVUTQUANBA","short_pith_number":"pith:A22BPFWV","canonical_record":{"source":{"id":"2103.02901","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-03-04T09:07:33Z","cross_cats_sorted":[],"title_canon_sha256":"cd31d82aed8a62d6d967b16d5da224301311425e0b8706a05b05b426829bfaa7","abstract_canon_sha256":"f2b3297fa3da014a15b2a0291709fcb3904d01d7aa79266929ed7fd9f6112deb"},"schema_version":"1.0"},"canonical_sha256":"06b41796d523eeb79f22bd6938500d0810195a576021e474ad2b5ec7f908e054","source":{"kind":"arxiv","id":"2103.02901","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.02901","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"arxiv_version","alias_value":"2103.02901v1","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.02901","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"pith_short_12","alias_value":"A22BPFWVEPXL","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"pith_short_16","alias_value":"A22BPFWVEPXLPHZC","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"pith_short_8","alias_value":"A22BPFWV","created_at":"2026-07-05T02:20:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:A22BPFWVEPXLPHZCXVUTQUANBA","target":"record","payload":{"canonical_record":{"source":{"id":"2103.02901","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-03-04T09:07:33Z","cross_cats_sorted":[],"title_canon_sha256":"cd31d82aed8a62d6d967b16d5da224301311425e0b8706a05b05b426829bfaa7","abstract_canon_sha256":"f2b3297fa3da014a15b2a0291709fcb3904d01d7aa79266929ed7fd9f6112deb"},"schema_version":"1.0"},"canonical_sha256":"06b41796d523eeb79f22bd6938500d0810195a576021e474ad2b5ec7f908e054","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:20:22.376213Z","signature_b64":"LNdAGPMuEvWF+95TvpfdhjfX8/49QBMM+dk1foAdnEfAaDOgO7uju/xw459YYPunLA9GwTRZ6kzG+6ou9UDdDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"06b41796d523eeb79f22bd6938500d0810195a576021e474ad2b5ec7f908e054","last_reissued_at":"2026-07-05T02:20:22.375863Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:20:22.375863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.02901","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-07-05T02:20:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eJDxhF6B6JkP2zVPhvj90ieOiYvXNOYq8jnAUlFeNcRDbN2NEtmX5aAwSWy4t8tkh9NVksjKWR0NNLKfPJSABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T15:45:49.855842Z"},"content_sha256":"b6b6e76ff7c35dc0883a352774b22eda8e7584080c3f7900399bac795ac5d72a","schema_version":"1.0","event_id":"sha256:b6b6e76ff7c35dc0883a352774b22eda8e7584080c3f7900399bac795ac5d72a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:A22BPFWVEPXLPHZCXVUTQUANBA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"GAssert: A Fully Automated Tool to Improve Assertion Oracles","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Gunel Jahangirova, Mauro Pezz\\`e, Paolo Tonella, Valerio Terragni","submitted_at":"2021-03-04T09:07:33Z","abstract_excerpt":"This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all correct executions and fail (return false) for all incorrect executions. Because designing perfect assertion oracles is difficult, assertions are prone to both false positives (the assertion fails but should pass) and false negatives (the assertion passes but should fail). Given a Java method containing an assertion oracle to improve, GASSERT returns an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.02901","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2103.02901/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T02:20:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O3KeLS4P0YBkEhmf2AykCDEZ4zUfyOFVryJsn1wlr8nHLgOQGnA2ke3MF5SQl9+dUGwy9ih0+K9u4nGqmgAdCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T15:45:49.857079Z"},"content_sha256":"10b0f9ddf33ec8f025866d1ce14a4765f2e30dbd4770645fc7ee12a2a92fe0ee","schema_version":"1.0","event_id":"sha256:10b0f9ddf33ec8f025866d1ce14a4765f2e30dbd4770645fc7ee12a2a92fe0ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/bundle.json","state_url":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A22BPFWVEPXLPHZCXVUTQUANBA/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-08-04T15:45:49Z","links":{"resolver":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA","bundle":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/bundle.json","state":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A22BPFWVEPXLPHZCXVUTQUANBA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:A22BPFWVEPXLPHZCXVUTQUANBA","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":"f2b3297fa3da014a15b2a0291709fcb3904d01d7aa79266929ed7fd9f6112deb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-03-04T09:07:33Z","title_canon_sha256":"cd31d82aed8a62d6d967b16d5da224301311425e0b8706a05b05b426829bfaa7"},"schema_version":"1.0","source":{"id":"2103.02901","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.02901","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"arxiv_version","alias_value":"2103.02901v1","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.02901","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"pith_short_12","alias_value":"A22BPFWVEPXL","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"pith_short_16","alias_value":"A22BPFWVEPXLPHZC","created_at":"2026-07-05T02:20:22Z"},{"alias_kind":"pith_short_8","alias_value":"A22BPFWV","created_at":"2026-07-05T02:20:22Z"}],"graph_snapshots":[{"event_id":"sha256:10b0f9ddf33ec8f025866d1ce14a4765f2e30dbd4770645fc7ee12a2a92fe0ee","target":"graph","created_at":"2026-07-05T02:20:22Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2103.02901/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all correct executions and fail (return false) for all incorrect executions. Because designing perfect assertion oracles is difficult, assertions are prone to both false positives (the assertion fails but should pass) and false negatives (the assertion passes but should fail). Given a Java method containing an assertion oracle to improve, GASSERT returns an","authors_text":"Gunel Jahangirova, Mauro Pezz\\`e, Paolo Tonella, Valerio Terragni","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-03-04T09:07:33Z","title":"GAssert: A Fully Automated Tool to Improve Assertion Oracles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.02901","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:b6b6e76ff7c35dc0883a352774b22eda8e7584080c3f7900399bac795ac5d72a","target":"record","created_at":"2026-07-05T02:20:22Z","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":"f2b3297fa3da014a15b2a0291709fcb3904d01d7aa79266929ed7fd9f6112deb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-03-04T09:07:33Z","title_canon_sha256":"cd31d82aed8a62d6d967b16d5da224301311425e0b8706a05b05b426829bfaa7"},"schema_version":"1.0","source":{"id":"2103.02901","kind":"arxiv","version":1}},"canonical_sha256":"06b41796d523eeb79f22bd6938500d0810195a576021e474ad2b5ec7f908e054","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"06b41796d523eeb79f22bd6938500d0810195a576021e474ad2b5ec7f908e054","first_computed_at":"2026-07-05T02:20:22.375863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:20:22.375863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LNdAGPMuEvWF+95TvpfdhjfX8/49QBMM+dk1foAdnEfAaDOgO7uju/xw459YYPunLA9GwTRZ6kzG+6ou9UDdDA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:20:22.376213Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.02901","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6b6e76ff7c35dc0883a352774b22eda8e7584080c3f7900399bac795ac5d72a","sha256:10b0f9ddf33ec8f025866d1ce14a4765f2e30dbd4770645fc7ee12a2a92fe0ee"],"state_sha256":"11968d62a8aeacffb4df52b29fa5b370cc4d4f92272f9d3b1aa66863a308b2d2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QG0Zoh5+XDnlWrTKuEtsn/TochTxDp393quzuSUav+SgZX28J+Le9jfQCR78oXBe2u9l33l38Yxf4UI2CveMAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T15:45:49.865504Z","bundle_sha256":"654b0308615272a5829ce836da1b192f828343180cf6b66669afe6e67f902d55"}}