{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:O4RPLL3B3LMQMWVIQYNFSQDZ7S","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":"51b9ffc623b8d5de68e3e4d017cd2356882a29365dee77d488b6caa708b9a792","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-06T14:30:02Z","title_canon_sha256":"74e34d707a02558b6c196ef8a810277b497331b6624b888371bf9286d819e225"},"schema_version":"1.0","source":{"id":"2607.05149","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.05149","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.05149v1","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.05149","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_12","alias_value":"O4RPLL3B3LMQ","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_16","alias_value":"O4RPLL3B3LMQMWVI","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_8","alias_value":"O4RPLL3B","created_at":"2026-07-07T03:19:17Z"}],"graph_snapshots":[{"event_id":"sha256:3ce4c80fdf715dd12f10e6b49be4a99e501f62b249aa317ffc1807e85116d7f2","target":"graph","created_at":"2026-07-07T03:19:17Z","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/2607.05149/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents intent-based mutation testing, a testing approach that generates mutations by changing the programming intents that are implemented in the programs under test. In contrast to traditional mutation testing, which changes (mutates) the way programs are written, intent mutation changes (mutates) the behavior of the programs by producing mutations that implement (slightly) different intents than those implemented in the original program. The mutations of the programming intents represent possible corner cases and misunderstandings of the program behavior, i.e., program specifica","authors_text":"Ahmed Khanfir, Asma Hamidi, Mike Papadakis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-06T14:30:02Z","title":"Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.05149","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:f6e7189759a3af8d40f52ffc1cad9bc39f8ee3a1c425d054c1e1f78ae9507476","target":"record","created_at":"2026-07-07T03:19:17Z","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":"51b9ffc623b8d5de68e3e4d017cd2356882a29365dee77d488b6caa708b9a792","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-06T14:30:02Z","title_canon_sha256":"74e34d707a02558b6c196ef8a810277b497331b6624b888371bf9286d819e225"},"schema_version":"1.0","source":{"id":"2607.05149","kind":"arxiv","version":1}},"canonical_sha256":"7722f5af61dad9065aa8861a594079fc92014730ed5110ec2b1128d8fe5fc12e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7722f5af61dad9065aa8861a594079fc92014730ed5110ec2b1128d8fe5fc12e","first_computed_at":"2026-07-07T03:19:17.803645Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T03:19:17.803645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"psMOLPK3+nH+1qmGb5kgbVTw6+WLSjoFvP4YFvmyHXlpgJHNkFdM2i0fg0S5DWlCxj1KpqUUn5tYWSlEXAbRAA==","signature_status":"signed_v1","signed_at":"2026-07-07T03:19:17.804060Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.05149","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6e7189759a3af8d40f52ffc1cad9bc39f8ee3a1c425d054c1e1f78ae9507476","sha256:3ce4c80fdf715dd12f10e6b49be4a99e501f62b249aa317ffc1807e85116d7f2"],"state_sha256":"3562afe90da0f30c74728fd04e386dbb6c535a183c7e53eba20aa6ebe3f2be9e"}