{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:EF2E3YM6S72GITU5U3RP2VNSGU","short_pith_number":"pith:EF2E3YM6","schema_version":"1.0","canonical_sha256":"21744de19e97f4644e9da6e2fd55b2352ee46ce2d010868fb81dd963d6fa9bc0","source":{"kind":"arxiv","id":"2508.16307","version":1},"attestation_state":"computed","paper":{"title":"Metamorphic Coverage","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jinsheng Ba, Manuel Rigger, Yuancheng Jiang","submitted_at":"2025-08-22T11:32:56Z","abstract_excerpt":"Metamorphic testing is a widely used methodology that examines an expected relation between pairs of executions to automatically find bugs, such as correctness bugs. We found that code coverage cannot accurately measure the extent to which code is validated and mutation testing is computationally expensive for evaluating metamorphic testing methods. In this work, we propose Metamorphic Coverage (MC), a coverage metric that examines the distinct code executed by pairs of test inputs within metamorphic testing. Our intuition is that, typically, a bug can be observed if the corresponding code is "},"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":"2508.16307","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-22T11:32:56Z","cross_cats_sorted":[],"title_canon_sha256":"e84b0d633e746b2f71216895432e2e3fe4b5dd7dc89a4f2a2f6627b3ee12e855","abstract_canon_sha256":"c260d6516839b777fad91b16d5ac41242600d676704786b7106c8a307f6aca54"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:57:45.849152Z","signature_b64":"OxrCkknUypciXBFr6irG3TyyVGgyDimPOS7xKiFTjdZTPzjm+6UfSbjA5F0yhM6iOGes8gLaAb18eTk7q3s7Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"21744de19e97f4644e9da6e2fd55b2352ee46ce2d010868fb81dd963d6fa9bc0","last_reissued_at":"2026-07-05T11:57:45.848606Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:57:45.848606Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Metamorphic Coverage","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jinsheng Ba, Manuel Rigger, Yuancheng Jiang","submitted_at":"2025-08-22T11:32:56Z","abstract_excerpt":"Metamorphic testing is a widely used methodology that examines an expected relation between pairs of executions to automatically find bugs, such as correctness bugs. We found that code coverage cannot accurately measure the extent to which code is validated and mutation testing is computationally expensive for evaluating metamorphic testing methods. In this work, we propose Metamorphic Coverage (MC), a coverage metric that examines the distinct code executed by pairs of test inputs within metamorphic testing. Our intuition is that, typically, a bug can be observed if the corresponding code is "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.16307","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/2508.16307/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":"2508.16307","created_at":"2026-07-05T11:57:45.848665+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.16307v1","created_at":"2026-07-05T11:57:45.848665+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.16307","created_at":"2026-07-05T11:57:45.848665+00:00"},{"alias_kind":"pith_short_12","alias_value":"EF2E3YM6S72G","created_at":"2026-07-05T11:57:45.848665+00:00"},{"alias_kind":"pith_short_16","alias_value":"EF2E3YM6S72GITU5","created_at":"2026-07-05T11:57:45.848665+00:00"},{"alias_kind":"pith_short_8","alias_value":"EF2E3YM6","created_at":"2026-07-05T11:57:45.848665+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/EF2E3YM6S72GITU5U3RP2VNSGU","json":"https://pith.science/pith/EF2E3YM6S72GITU5U3RP2VNSGU.json","graph_json":"https://pith.science/api/pith-number/EF2E3YM6S72GITU5U3RP2VNSGU/graph.json","events_json":"https://pith.science/api/pith-number/EF2E3YM6S72GITU5U3RP2VNSGU/events.json","paper":"https://pith.science/paper/EF2E3YM6"},"agent_actions":{"view_html":"https://pith.science/pith/EF2E3YM6S72GITU5U3RP2VNSGU","download_json":"https://pith.science/pith/EF2E3YM6S72GITU5U3RP2VNSGU.json","view_paper":"https://pith.science/paper/EF2E3YM6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.16307&json=true","fetch_graph":"https://pith.science/api/pith-number/EF2E3YM6S72GITU5U3RP2VNSGU/graph.json","fetch_events":"https://pith.science/api/pith-number/EF2E3YM6S72GITU5U3RP2VNSGU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EF2E3YM6S72GITU5U3RP2VNSGU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EF2E3YM6S72GITU5U3RP2VNSGU/action/storage_attestation","attest_author":"https://pith.science/pith/EF2E3YM6S72GITU5U3RP2VNSGU/action/author_attestation","sign_citation":"https://pith.science/pith/EF2E3YM6S72GITU5U3RP2VNSGU/action/citation_signature","submit_replication":"https://pith.science/pith/EF2E3YM6S72GITU5U3RP2VNSGU/action/replication_record"}},"created_at":"2026-07-05T11:57:45.848665+00:00","updated_at":"2026-07-05T11:57:45.848665+00:00"}