{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:TZEHKPT7AOISM3TQHGKG2J6Z4K","short_pith_number":"pith:TZEHKPT7","canonical_record":{"source":{"id":"2505.05584","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-08T18:30:22Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"b386bbcd0af7ea5aff85d81dd92eb524048f46c0513f5c33c26ad1ac34984048","abstract_canon_sha256":"db3fd2372190cd42be1ae8f2524532458e0e49515a9bdc71b9d742cbfd810a70"},"schema_version":"1.0"},"canonical_sha256":"9e48753e7f0391266e7039946d27d9e285a000b04ccefe18b1970236a5050fd8","source":{"kind":"arxiv","id":"2505.05584","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.05584","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"arxiv_version","alias_value":"2505.05584v1","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.05584","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"pith_short_12","alias_value":"TZEHKPT7AOIS","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"pith_short_16","alias_value":"TZEHKPT7AOISM3TQ","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"pith_short_8","alias_value":"TZEHKPT7","created_at":"2026-07-05T11:00:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:TZEHKPT7AOISM3TQHGKG2J6Z4K","target":"record","payload":{"canonical_record":{"source":{"id":"2505.05584","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-08T18:30:22Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"b386bbcd0af7ea5aff85d81dd92eb524048f46c0513f5c33c26ad1ac34984048","abstract_canon_sha256":"db3fd2372190cd42be1ae8f2524532458e0e49515a9bdc71b9d742cbfd810a70"},"schema_version":"1.0"},"canonical_sha256":"9e48753e7f0391266e7039946d27d9e285a000b04ccefe18b1970236a5050fd8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:00:28.246196Z","signature_b64":"ufsuaLIinaNDdBC7kpljCwoyMXuev4vZRmAIQvdqKG3Ojqa0aCPKfynp3vIQy1tiaF11cZlLISKFwZZSxWObBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e48753e7f0391266e7039946d27d9e285a000b04ccefe18b1970236a5050fd8","last_reissued_at":"2026-07-05T11:00:28.245704Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:00:28.245704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.05584","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-05T11:00:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HHi2bClIQNv1bf6L0LCtL5akNkbSxc0ebKLa6Mrhnvgr7OFj9uXOIve76CZb+3dtU3/6mC3Il84MeIhiVgaLDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T01:09:51.892706Z"},"content_sha256":"7f153a0d29c92fe9e0e801ee7e4abb243439c1853d3f61fbb4fde7b25069989f","schema_version":"1.0","event_id":"sha256:7f153a0d29c92fe9e0e801ee7e4abb243439c1853d3f61fbb4fde7b25069989f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:TZEHKPT7AOISM3TQHGKG2J6Z4K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Edward Zulkoski, Mohamed Salah Bouafif, Mohammad Hamdaqa","submitted_at":"2025-05-08T18:30:22Z","abstract_excerpt":"Mutation testing is a widely recognized technique for assessing and enhancing the effectiveness of software test suites by introducing deliberate code mutations. However, its application often results in overly large test suites, as developers generate numerous tests to kill specific mutants, increasing computational overhead. This paper introduces PRIMG (Prioritization and Refinement Integrated Mutation-driven Generation), a novel framework for incremental and adaptive test case generation for Solidity smart contracts. PRIMG integrates two core components: a mutation prioritization module, wh"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.05584","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/2505.05584/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-05T11:00:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fetdUAZ55tTFaK6lRh0dDcsICeSrSP3kYDkk4GEpOqz9k3PtKC2qzZscF5hn0axKeCo1hivcsbmRZo1Nn3vJBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T01:09:51.893227Z"},"content_sha256":"30c699a201846a2ba23b2eab39d5b08653fb9371b7403c931c359cc46e7a5c50","schema_version":"1.0","event_id":"sha256:30c699a201846a2ba23b2eab39d5b08653fb9371b7403c931c359cc46e7a5c50"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TZEHKPT7AOISM3TQHGKG2J6Z4K/bundle.json","state_url":"https://pith.science/pith/TZEHKPT7AOISM3TQHGKG2J6Z4K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TZEHKPT7AOISM3TQHGKG2J6Z4K/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-23T01:09:51Z","links":{"resolver":"https://pith.science/pith/TZEHKPT7AOISM3TQHGKG2J6Z4K","bundle":"https://pith.science/pith/TZEHKPT7AOISM3TQHGKG2J6Z4K/bundle.json","state":"https://pith.science/pith/TZEHKPT7AOISM3TQHGKG2J6Z4K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TZEHKPT7AOISM3TQHGKG2J6Z4K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:TZEHKPT7AOISM3TQHGKG2J6Z4K","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":"db3fd2372190cd42be1ae8f2524532458e0e49515a9bdc71b9d742cbfd810a70","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-08T18:30:22Z","title_canon_sha256":"b386bbcd0af7ea5aff85d81dd92eb524048f46c0513f5c33c26ad1ac34984048"},"schema_version":"1.0","source":{"id":"2505.05584","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.05584","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"arxiv_version","alias_value":"2505.05584v1","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.05584","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"pith_short_12","alias_value":"TZEHKPT7AOIS","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"pith_short_16","alias_value":"TZEHKPT7AOISM3TQ","created_at":"2026-07-05T11:00:28Z"},{"alias_kind":"pith_short_8","alias_value":"TZEHKPT7","created_at":"2026-07-05T11:00:28Z"}],"graph_snapshots":[{"event_id":"sha256:30c699a201846a2ba23b2eab39d5b08653fb9371b7403c931c359cc46e7a5c50","target":"graph","created_at":"2026-07-05T11:00:28Z","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/2505.05584/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mutation testing is a widely recognized technique for assessing and enhancing the effectiveness of software test suites by introducing deliberate code mutations. However, its application often results in overly large test suites, as developers generate numerous tests to kill specific mutants, increasing computational overhead. This paper introduces PRIMG (Prioritization and Refinement Integrated Mutation-driven Generation), a novel framework for incremental and adaptive test case generation for Solidity smart contracts. PRIMG integrates two core components: a mutation prioritization module, wh","authors_text":"Edward Zulkoski, Mohamed Salah Bouafif, Mohammad Hamdaqa","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-08T18:30:22Z","title":"PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.05584","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:7f153a0d29c92fe9e0e801ee7e4abb243439c1853d3f61fbb4fde7b25069989f","target":"record","created_at":"2026-07-05T11:00:28Z","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":"db3fd2372190cd42be1ae8f2524532458e0e49515a9bdc71b9d742cbfd810a70","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-08T18:30:22Z","title_canon_sha256":"b386bbcd0af7ea5aff85d81dd92eb524048f46c0513f5c33c26ad1ac34984048"},"schema_version":"1.0","source":{"id":"2505.05584","kind":"arxiv","version":1}},"canonical_sha256":"9e48753e7f0391266e7039946d27d9e285a000b04ccefe18b1970236a5050fd8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e48753e7f0391266e7039946d27d9e285a000b04ccefe18b1970236a5050fd8","first_computed_at":"2026-07-05T11:00:28.245704Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:00:28.245704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ufsuaLIinaNDdBC7kpljCwoyMXuev4vZRmAIQvdqKG3Ojqa0aCPKfynp3vIQy1tiaF11cZlLISKFwZZSxWObBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:00:28.246196Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.05584","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7f153a0d29c92fe9e0e801ee7e4abb243439c1853d3f61fbb4fde7b25069989f","sha256:30c699a201846a2ba23b2eab39d5b08653fb9371b7403c931c359cc46e7a5c50"],"state_sha256":"1d3a5f322c1dee808d6dd38fb7823b41e4e7afc81f74739c7d4bc4216dc1dbd8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pDsN9yrkV51niRE7YNJ3WluWcPjWkyINfE2mKB1MdSeVjPceq05GFQyzvNp8d7aFEGXnQcROym2d+hRfkzb4Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T01:09:51.898060Z","bundle_sha256":"21a280ec89345323ad8b42457d27ce528266fa5f2fe26326e6740841de441712"}}