{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:XGAZE5UPQBTNBWPGGXSLSMMJV5","short_pith_number":"pith:XGAZE5UP","canonical_record":{"source":{"id":"2312.15302","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-23T17:20:45Z","cross_cats_sorted":[],"title_canon_sha256":"9b526113cedef43f1d35e729e9299a9379490c094d51d74ad54cfa859dbbd12a","abstract_canon_sha256":"dac84087ef26f0579c98009e7026a4e6ae9d80f5ec446adf3b4b9f6ca78da02b"},"schema_version":"1.0"},"canonical_sha256":"b98192768f8066d0d9e635e4b93189af77dff7640db5191e7fe5d118b9ca1fe8","source":{"kind":"arxiv","id":"2312.15302","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.15302","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"arxiv_version","alias_value":"2312.15302v3","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.15302","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"pith_short_12","alias_value":"XGAZE5UPQBTN","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"pith_short_16","alias_value":"XGAZE5UPQBTNBWPG","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"pith_short_8","alias_value":"XGAZE5UP","created_at":"2026-07-05T08:27:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:XGAZE5UPQBTNBWPGGXSLSMMJV5","target":"record","payload":{"canonical_record":{"source":{"id":"2312.15302","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-23T17:20:45Z","cross_cats_sorted":[],"title_canon_sha256":"9b526113cedef43f1d35e729e9299a9379490c094d51d74ad54cfa859dbbd12a","abstract_canon_sha256":"dac84087ef26f0579c98009e7026a4e6ae9d80f5ec446adf3b4b9f6ca78da02b"},"schema_version":"1.0"},"canonical_sha256":"b98192768f8066d0d9e635e4b93189af77dff7640db5191e7fe5d118b9ca1fe8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:27:24.160878Z","signature_b64":"kzARWfUbJvGPh8kCFqKobjkUd27lFqQOPtLn4Z4EfNuuI0jIQswdL0lFcat5NgWpwMjFrNqdWZEdVokwrm7OCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b98192768f8066d0d9e635e4b93189af77dff7640db5191e7fe5d118b9ca1fe8","last_reissued_at":"2026-07-05T08:27:24.160401Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:27:24.160401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.15302","source_version":3,"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-05T08:27:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TruSpYqFzSXnCFWNtU3dWy5PTbKlZxeLFso1t89ZC+d7ODO4J1lw8kykALco2OYbR6HIRmjDmWqECyL2LygxCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:47:02.406069Z"},"content_sha256":"c7a4e1c99901f2f387f9aabe2bbc90ab8e2bf354866270f16f99fb5fb64b6cab","schema_version":"1.0","event_id":"sha256:c7a4e1c99901f2f387f9aabe2bbc90ab8e2bf354866270f16f99fb5fb64b6cab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:XGAZE5UPQBTNBWPGGXSLSMMJV5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aitor Arrieta, Gunel Jahangirova, Jon Ayerdi, Paolo Tonella, Valerio Terragni","submitted_at":"2023-12-23T17:20:45Z","abstract_excerpt":"Metamorphic testing is a popular approach that aims to alleviate the oracle problem in software testing. At the core of this approach are Metamorphic Relations (MRs), specifying properties that hold among multiple test inputs and corresponding outputs. Deriving MRs is mostly a manual activity, since their automated generation is a challenging and largely unexplored problem.\n  This paper presents GenMorph, a technique to automatically generate MRs for Java methods that involve inputs and outputs that are boolean, numerical, or ordered sequences. GenMorph uses an evolutionary algorithm to search"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.15302","kind":"arxiv","version":3},"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/2312.15302/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-05T08:27:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Blj70Df7Wls/7QSF2Dy+3MOmM1ehZgIKPAadcGY9UWwXjApul7zUi+DrBDNwm/+ML2zF4d0kuOCf/BGRBdFjDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:47:02.406715Z"},"content_sha256":"1c27be39332189731143360a89865d625d1dcaed6aea091f4b76a97ea1d87f56","schema_version":"1.0","event_id":"sha256:1c27be39332189731143360a89865d625d1dcaed6aea091f4b76a97ea1d87f56"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XGAZE5UPQBTNBWPGGXSLSMMJV5/bundle.json","state_url":"https://pith.science/pith/XGAZE5UPQBTNBWPGGXSLSMMJV5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XGAZE5UPQBTNBWPGGXSLSMMJV5/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-03T15:47:02Z","links":{"resolver":"https://pith.science/pith/XGAZE5UPQBTNBWPGGXSLSMMJV5","bundle":"https://pith.science/pith/XGAZE5UPQBTNBWPGGXSLSMMJV5/bundle.json","state":"https://pith.science/pith/XGAZE5UPQBTNBWPGGXSLSMMJV5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XGAZE5UPQBTNBWPGGXSLSMMJV5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:XGAZE5UPQBTNBWPGGXSLSMMJV5","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":"dac84087ef26f0579c98009e7026a4e6ae9d80f5ec446adf3b4b9f6ca78da02b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-23T17:20:45Z","title_canon_sha256":"9b526113cedef43f1d35e729e9299a9379490c094d51d74ad54cfa859dbbd12a"},"schema_version":"1.0","source":{"id":"2312.15302","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.15302","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"arxiv_version","alias_value":"2312.15302v3","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.15302","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"pith_short_12","alias_value":"XGAZE5UPQBTN","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"pith_short_16","alias_value":"XGAZE5UPQBTNBWPG","created_at":"2026-07-05T08:27:24Z"},{"alias_kind":"pith_short_8","alias_value":"XGAZE5UP","created_at":"2026-07-05T08:27:24Z"}],"graph_snapshots":[{"event_id":"sha256:1c27be39332189731143360a89865d625d1dcaed6aea091f4b76a97ea1d87f56","target":"graph","created_at":"2026-07-05T08:27:24Z","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/2312.15302/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Metamorphic testing is a popular approach that aims to alleviate the oracle problem in software testing. At the core of this approach are Metamorphic Relations (MRs), specifying properties that hold among multiple test inputs and corresponding outputs. Deriving MRs is mostly a manual activity, since their automated generation is a challenging and largely unexplored problem.\n  This paper presents GenMorph, a technique to automatically generate MRs for Java methods that involve inputs and outputs that are boolean, numerical, or ordered sequences. GenMorph uses an evolutionary algorithm to search","authors_text":"Aitor Arrieta, Gunel Jahangirova, Jon Ayerdi, Paolo Tonella, Valerio Terragni","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-23T17:20:45Z","title":"GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.15302","kind":"arxiv","version":3},"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:c7a4e1c99901f2f387f9aabe2bbc90ab8e2bf354866270f16f99fb5fb64b6cab","target":"record","created_at":"2026-07-05T08:27:24Z","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":"dac84087ef26f0579c98009e7026a4e6ae9d80f5ec446adf3b4b9f6ca78da02b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-23T17:20:45Z","title_canon_sha256":"9b526113cedef43f1d35e729e9299a9379490c094d51d74ad54cfa859dbbd12a"},"schema_version":"1.0","source":{"id":"2312.15302","kind":"arxiv","version":3}},"canonical_sha256":"b98192768f8066d0d9e635e4b93189af77dff7640db5191e7fe5d118b9ca1fe8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b98192768f8066d0d9e635e4b93189af77dff7640db5191e7fe5d118b9ca1fe8","first_computed_at":"2026-07-05T08:27:24.160401Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:27:24.160401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kzARWfUbJvGPh8kCFqKobjkUd27lFqQOPtLn4Z4EfNuuI0jIQswdL0lFcat5NgWpwMjFrNqdWZEdVokwrm7OCw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:27:24.160878Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.15302","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7a4e1c99901f2f387f9aabe2bbc90ab8e2bf354866270f16f99fb5fb64b6cab","sha256:1c27be39332189731143360a89865d625d1dcaed6aea091f4b76a97ea1d87f56"],"state_sha256":"9afeb1e27c3baaf58379c2b47ccea669d27ad7a47893cf4445a840c3df8b305d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VhPe9vzrAcGxl0D0HQ/RO8YR8WuZNSeMdReK60k9Z3+8wiQbHaV178woKwpqZtXMW8GSyDndFL7z+3Y7nENgAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T15:47:02.410449Z","bundle_sha256":"ad0ac9bc973dba6451788eff12fd534e966aaa0f2eca11e8e9cc0f9a61c0e1f3"}}