{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:XKI6CND62WLVEU6BXRDAV6A4FD","short_pith_number":"pith:XKI6CND6","canonical_record":{"source":{"id":"2102.08864","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-02-17T16:46:22Z","cross_cats_sorted":[],"title_canon_sha256":"a8531c56b66fdebde0d1a68fe205e19831467e665cf079a9b98efa97780b8225","abstract_canon_sha256":"6c7888906b0d6d127866409bbc923ac2439f24035c450e9b25ab815bb5db3f35"},"schema_version":"1.0"},"canonical_sha256":"ba91e1347ed5975253c1bc460af81c28e515f19b56b3f6e420b0305954439980","source":{"kind":"arxiv","id":"2102.08864","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.08864","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"arxiv_version","alias_value":"2102.08864v4","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.08864","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"pith_short_12","alias_value":"XKI6CND62WLV","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"pith_short_16","alias_value":"XKI6CND62WLVEU6B","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"pith_short_8","alias_value":"XKI6CND6","created_at":"2026-07-05T04:14:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:XKI6CND62WLVEU6BXRDAV6A4FD","target":"record","payload":{"canonical_record":{"source":{"id":"2102.08864","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-02-17T16:46:22Z","cross_cats_sorted":[],"title_canon_sha256":"a8531c56b66fdebde0d1a68fe205e19831467e665cf079a9b98efa97780b8225","abstract_canon_sha256":"6c7888906b0d6d127866409bbc923ac2439f24035c450e9b25ab815bb5db3f35"},"schema_version":"1.0"},"canonical_sha256":"ba91e1347ed5975253c1bc460af81c28e515f19b56b3f6e420b0305954439980","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:14:58.834843Z","signature_b64":"vviqyp1G/p3Zc2W4cVtjbZbSA9luKK0DgdCirD9ybvcplUN/Zb0GtnYz5zqEyC/zhFPv4H4qLn/H2CI0lYKYAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba91e1347ed5975253c1bc460af81c28e515f19b56b3f6e420b0305954439980","last_reissued_at":"2026-07-05T04:14:58.834442Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:14:58.834442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2102.08864","source_version":4,"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-05T04:14:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3PAMeNR2X5fBD9exPx382eTLFmbYdpV+0LKOpQL4lw/v8pi2Idyb1u5Y7+uIZ3G3lw6bUOAvFotUHZL/Jon/BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T08:01:57.610864Z"},"content_sha256":"0eb0295f7d635c507a29fca8418b32e63bf95ed7a90118b588bf83d12ae20ca9","schema_version":"1.0","event_id":"sha256:0eb0295f7d635c507a29fca8418b32e63bf95ed7a90118b588bf83d12ae20ca9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:XKI6CND62WLVEU6BXRDAV6A4FD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Test-Case Generation for Solidity Smart Contracts: the AGSolT Approach and its Evaluation","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Damian A. Tamburri, Dario Di Nucci, Geert Monsieur, Stefan Driessen, Willem-Jan van den Heuvel","submitted_at":"2021-02-17T16:46:22Z","abstract_excerpt":"Blockchain and smart contract technology are novel approaches to data and code management that facilitate trusted computing by allowing for development in a distributed and decentralized manner. Testing smart contracts comes with its own set of challenges which have not yet been fully identified and explored. Although existing tools can identify and discover known vulnerabilities and their interactions on the Ethereum blockchain through random search or symbolic execution, these tools generally do not produce test suites suitable for human oracles. In this paper, we present AGSOLT (Automated G"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.08864","kind":"arxiv","version":4},"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/2102.08864/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-05T04:14:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GZgYDopuKPPxdw99IJ2Ut4b9xqS3ZSCOQDz9krEnxQPT4qnY/59qwXMEvokzfv43LZINP8WlG+WujoFLfikKAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T08:01:57.611357Z"},"content_sha256":"ef164670b079e28086c71a6f0361f4d72a72f2265e18e0ac1840251d0ee87507","schema_version":"1.0","event_id":"sha256:ef164670b079e28086c71a6f0361f4d72a72f2265e18e0ac1840251d0ee87507"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XKI6CND62WLVEU6BXRDAV6A4FD/bundle.json","state_url":"https://pith.science/pith/XKI6CND62WLVEU6BXRDAV6A4FD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XKI6CND62WLVEU6BXRDAV6A4FD/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-22T08:01:57Z","links":{"resolver":"https://pith.science/pith/XKI6CND62WLVEU6BXRDAV6A4FD","bundle":"https://pith.science/pith/XKI6CND62WLVEU6BXRDAV6A4FD/bundle.json","state":"https://pith.science/pith/XKI6CND62WLVEU6BXRDAV6A4FD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XKI6CND62WLVEU6BXRDAV6A4FD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:XKI6CND62WLVEU6BXRDAV6A4FD","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":"6c7888906b0d6d127866409bbc923ac2439f24035c450e9b25ab815bb5db3f35","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-02-17T16:46:22Z","title_canon_sha256":"a8531c56b66fdebde0d1a68fe205e19831467e665cf079a9b98efa97780b8225"},"schema_version":"1.0","source":{"id":"2102.08864","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.08864","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"arxiv_version","alias_value":"2102.08864v4","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.08864","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"pith_short_12","alias_value":"XKI6CND62WLV","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"pith_short_16","alias_value":"XKI6CND62WLVEU6B","created_at":"2026-07-05T04:14:58Z"},{"alias_kind":"pith_short_8","alias_value":"XKI6CND6","created_at":"2026-07-05T04:14:58Z"}],"graph_snapshots":[{"event_id":"sha256:ef164670b079e28086c71a6f0361f4d72a72f2265e18e0ac1840251d0ee87507","target":"graph","created_at":"2026-07-05T04:14:58Z","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/2102.08864/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Blockchain and smart contract technology are novel approaches to data and code management that facilitate trusted computing by allowing for development in a distributed and decentralized manner. Testing smart contracts comes with its own set of challenges which have not yet been fully identified and explored. Although existing tools can identify and discover known vulnerabilities and their interactions on the Ethereum blockchain through random search or symbolic execution, these tools generally do not produce test suites suitable for human oracles. In this paper, we present AGSOLT (Automated G","authors_text":"Damian A. Tamburri, Dario Di Nucci, Geert Monsieur, Stefan Driessen, Willem-Jan van den Heuvel","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-02-17T16:46:22Z","title":"Automated Test-Case Generation for Solidity Smart Contracts: the AGSolT Approach and its Evaluation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.08864","kind":"arxiv","version":4},"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:0eb0295f7d635c507a29fca8418b32e63bf95ed7a90118b588bf83d12ae20ca9","target":"record","created_at":"2026-07-05T04:14:58Z","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":"6c7888906b0d6d127866409bbc923ac2439f24035c450e9b25ab815bb5db3f35","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2021-02-17T16:46:22Z","title_canon_sha256":"a8531c56b66fdebde0d1a68fe205e19831467e665cf079a9b98efa97780b8225"},"schema_version":"1.0","source":{"id":"2102.08864","kind":"arxiv","version":4}},"canonical_sha256":"ba91e1347ed5975253c1bc460af81c28e515f19b56b3f6e420b0305954439980","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba91e1347ed5975253c1bc460af81c28e515f19b56b3f6e420b0305954439980","first_computed_at":"2026-07-05T04:14:58.834442Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:14:58.834442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vviqyp1G/p3Zc2W4cVtjbZbSA9luKK0DgdCirD9ybvcplUN/Zb0GtnYz5zqEyC/zhFPv4H4qLn/H2CI0lYKYAA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:14:58.834843Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.08864","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0eb0295f7d635c507a29fca8418b32e63bf95ed7a90118b588bf83d12ae20ca9","sha256:ef164670b079e28086c71a6f0361f4d72a72f2265e18e0ac1840251d0ee87507"],"state_sha256":"3edd345d42183fc6be19d1281a4503548b83d59ff8865528c6e579a7936353c3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F/SBkw5S+NVyYhhYzQ6I8h+FbZ7mwH3mXIUUTS/B6Igx4MUIE5ieUi7bvUU2zGMdGWCVaFHve/yoLwEJKa0ADQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T08:01:57.616114Z","bundle_sha256":"0a50ea648f6d51f77f9300571c3b9b68cc67769abda343e9a1f9ec124e8c0c1c"}}