{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:JILP4LB6JTTIBF5YFXQ4N3T6CM","short_pith_number":"pith:JILP4LB6","schema_version":"1.0","canonical_sha256":"4a16fe2c3e4ce68097b82de1c6ee7e130afe6d780afdaf1a74b655eae049d687","source":{"kind":"arxiv","id":"2506.07389","version":1},"attestation_state":"computed","paper":{"title":"Human Side of Smart Contract Fuzzing: An Empirical Study","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.HC","authors_text":"Guanming Qiao, Partha Protim Paul","submitted_at":"2025-06-09T03:25:14Z","abstract_excerpt":"Smart contract (SC) fuzzing is a critical technique for detecting vulnerabilities in blockchain applications. However, its adoption remains challenging for practitioners due to fundamental differences between SCs and traditional software systems. In this study, we investigate the challenges practitioners face when adopting SC fuzzing tools by conducting an inductive content analysis of 381 GitHub issues from two widely used SC fuzzers: Echidna and Foundry. Furthermore, we conducted a user study to examine how these challenges affect different practitioner groups, SC developers, and traditional"},"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":"2506.07389","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2025-06-09T03:25:14Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"6155ea737bf0cc2cf0bd5ffcaa2e4359cfae07764f002b34d13fea863cfedf5a","abstract_canon_sha256":"afca984b58db8f986bdbdcd3e763a2de2df4125b3e1695180408bc03fbb9f564"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:18:26.389575Z","signature_b64":"tpjYFZE0Uj+ZHEdnRsuciQlgWyWcocHf0crSEtzP1unzIMr6hA6KSvI6xq61IBjknrk2Gp102X8oz3rgWFbcAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a16fe2c3e4ce68097b82de1c6ee7e130afe6d780afdaf1a74b655eae049d687","last_reissued_at":"2026-07-05T11:18:26.389117Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:18:26.389117Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Human Side of Smart Contract Fuzzing: An Empirical Study","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.HC","authors_text":"Guanming Qiao, Partha Protim Paul","submitted_at":"2025-06-09T03:25:14Z","abstract_excerpt":"Smart contract (SC) fuzzing is a critical technique for detecting vulnerabilities in blockchain applications. However, its adoption remains challenging for practitioners due to fundamental differences between SCs and traditional software systems. In this study, we investigate the challenges practitioners face when adopting SC fuzzing tools by conducting an inductive content analysis of 381 GitHub issues from two widely used SC fuzzers: Echidna and Foundry. Furthermore, we conducted a user study to examine how these challenges affect different practitioner groups, SC developers, and traditional"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07389","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/2506.07389/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":"2506.07389","created_at":"2026-07-05T11:18:26.389172+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.07389v1","created_at":"2026-07-05T11:18:26.389172+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07389","created_at":"2026-07-05T11:18:26.389172+00:00"},{"alias_kind":"pith_short_12","alias_value":"JILP4LB6JTTI","created_at":"2026-07-05T11:18:26.389172+00:00"},{"alias_kind":"pith_short_16","alias_value":"JILP4LB6JTTIBF5Y","created_at":"2026-07-05T11:18:26.389172+00:00"},{"alias_kind":"pith_short_8","alias_value":"JILP4LB6","created_at":"2026-07-05T11:18:26.389172+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/JILP4LB6JTTIBF5YFXQ4N3T6CM","json":"https://pith.science/pith/JILP4LB6JTTIBF5YFXQ4N3T6CM.json","graph_json":"https://pith.science/api/pith-number/JILP4LB6JTTIBF5YFXQ4N3T6CM/graph.json","events_json":"https://pith.science/api/pith-number/JILP4LB6JTTIBF5YFXQ4N3T6CM/events.json","paper":"https://pith.science/paper/JILP4LB6"},"agent_actions":{"view_html":"https://pith.science/pith/JILP4LB6JTTIBF5YFXQ4N3T6CM","download_json":"https://pith.science/pith/JILP4LB6JTTIBF5YFXQ4N3T6CM.json","view_paper":"https://pith.science/paper/JILP4LB6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.07389&json=true","fetch_graph":"https://pith.science/api/pith-number/JILP4LB6JTTIBF5YFXQ4N3T6CM/graph.json","fetch_events":"https://pith.science/api/pith-number/JILP4LB6JTTIBF5YFXQ4N3T6CM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JILP4LB6JTTIBF5YFXQ4N3T6CM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JILP4LB6JTTIBF5YFXQ4N3T6CM/action/storage_attestation","attest_author":"https://pith.science/pith/JILP4LB6JTTIBF5YFXQ4N3T6CM/action/author_attestation","sign_citation":"https://pith.science/pith/JILP4LB6JTTIBF5YFXQ4N3T6CM/action/citation_signature","submit_replication":"https://pith.science/pith/JILP4LB6JTTIBF5YFXQ4N3T6CM/action/replication_record"}},"created_at":"2026-07-05T11:18:26.389172+00:00","updated_at":"2026-07-05T11:18:26.389172+00:00"}