{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:A22BPFWVEPXLPHZCXVUTQUANBA","short_pith_number":"pith:A22BPFWV","schema_version":"1.0","canonical_sha256":"06b41796d523eeb79f22bd6938500d0810195a576021e474ad2b5ec7f908e054","source":{"kind":"arxiv","id":"2103.02901","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2103.02901","created_at":"2026-07-05T02:20:22.375921+00:00"},{"alias_kind":"arxiv_version","alias_value":"2103.02901v1","created_at":"2026-07-05T02:20:22.375921+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.02901","created_at":"2026-07-05T02:20:22.375921+00:00"},{"alias_kind":"pith_short_12","alias_value":"A22BPFWVEPXL","created_at":"2026-07-05T02:20:22.375921+00:00"},{"alias_kind":"pith_short_16","alias_value":"A22BPFWVEPXLPHZC","created_at":"2026-07-05T02:20:22.375921+00:00"},{"alias_kind":"pith_short_8","alias_value":"A22BPFWV","created_at":"2026-07-05T02:20:22.375921+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/A22BPFWVEPXLPHZCXVUTQUANBA","json":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA.json","graph_json":"https://pith.science/api/pith-number/A22BPFWVEPXLPHZCXVUTQUANBA/graph.json","events_json":"https://pith.science/api/pith-number/A22BPFWVEPXLPHZCXVUTQUANBA/events.json","paper":"https://pith.science/paper/A22BPFWV"},"agent_actions":{"view_html":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA","download_json":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA.json","view_paper":"https://pith.science/paper/A22BPFWV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2103.02901&json=true","fetch_graph":"https://pith.science/api/pith-number/A22BPFWVEPXLPHZCXVUTQUANBA/graph.json","fetch_events":"https://pith.science/api/pith-number/A22BPFWVEPXLPHZCXVUTQUANBA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/action/storage_attestation","attest_author":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/action/author_attestation","sign_citation":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/action/citation_signature","submit_replication":"https://pith.science/pith/A22BPFWVEPXLPHZCXVUTQUANBA/action/replication_record"}},"created_at":"2026-07-05T02:20:22.375921+00:00","updated_at":"2026-07-05T02:20:22.375921+00:00"}