{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:A2K6UN3V7CPOXPKKFWUCRH5PA4","short_pith_number":"pith:A2K6UN3V","canonical_record":{"source":{"id":"1804.11121","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-30T10:57:51Z","cross_cats_sorted":[],"title_canon_sha256":"bd231e2721df5ace97d5b4654b934c469f55df1aa3fef778e2465fcdc588115a","abstract_canon_sha256":"ce986ddd63cd56bd202ebcba79e0bebca203fe22741bb9c772e85e7ebc4dbd68"},"schema_version":"1.0"},"canonical_sha256":"0695ea3775f89eebbd4a2da8289faf073dc12c02c43b2331ac69cfae934f6f39","source":{"kind":"arxiv","id":"1804.11121","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.11121","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"arxiv_version","alias_value":"1804.11121v1","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.11121","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"pith_short_12","alias_value":"A2K6UN3V7CPO","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"A2K6UN3V7CPOXPKK","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"A2K6UN3V","created_at":"2026-05-18T12:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:A2K6UN3V7CPOXPKKFWUCRH5PA4","target":"record","payload":{"canonical_record":{"source":{"id":"1804.11121","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-30T10:57:51Z","cross_cats_sorted":[],"title_canon_sha256":"bd231e2721df5ace97d5b4654b934c469f55df1aa3fef778e2465fcdc588115a","abstract_canon_sha256":"ce986ddd63cd56bd202ebcba79e0bebca203fe22741bb9c772e85e7ebc4dbd68"},"schema_version":"1.0"},"canonical_sha256":"0695ea3775f89eebbd4a2da8289faf073dc12c02c43b2331ac69cfae934f6f39","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:14.568651Z","signature_b64":"fzPO/JTr0JjQJwuU2G3dP1y+5qZglm4GVMPrGokBTpZfy2bJnNtMKU2TtcZpye2bM4cvOquKxJKou6MysSUJDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0695ea3775f89eebbd4a2da8289faf073dc12c02c43b2331ac69cfae934f6f39","last_reissued_at":"2026-05-18T00:17:14.568029Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:14.568029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.11121","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-05-18T00:17:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eRmwQ60uOxG2cuNZDXky1zOEa8+YdBu0V4GjDmVb+wqYNZYiP7vSqykvO0SBeRNCyfY5dmWpO9jsrZtwjyDzBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T19:02:50.129117Z"},"content_sha256":"c1e83a8594384d5347e4c3d811cb3b327915e6149734bc6064c0d7bc4c771dcc","schema_version":"1.0","event_id":"sha256:c1e83a8594384d5347e4c3d811cb3b327915e6149734bc6064c0d7bc4c771dcc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:A2K6UN3V7CPOXPKKFWUCRH5PA4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards the Automation of Metamorphic Testing in Model Transformations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Antonio Ruiz-Cort\\'es, Javier Troya, Sergio Segura","submitted_at":"2018-04-30T10:57:51Z","abstract_excerpt":"Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is correct is a manual and error-prone task, this is referred to as the oracle problem in the software testing literature. The correctness of the model transformation program is crucial for the proper generation of its output, so it should be tested. Metamorphic testing is a testing technique to alleviate the oracle problem consisting on exploiting the relations between different inputs and ou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.11121","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":""},"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-05-18T00:17:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PfUq5+7SNaZN/HZjSd4LdP15K7gUc6x1OE6Jb7TySxRK56LIolyExgC+/RA0alOVTdwhEK5Ov72n7ZLg+vKSCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T19:02:50.129656Z"},"content_sha256":"7d1eb278ee93d7920609e06ef853435f82a4784bcc3db996f32d6afb51700a5f","schema_version":"1.0","event_id":"sha256:7d1eb278ee93d7920609e06ef853435f82a4784bcc3db996f32d6afb51700a5f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A2K6UN3V7CPOXPKKFWUCRH5PA4/bundle.json","state_url":"https://pith.science/pith/A2K6UN3V7CPOXPKKFWUCRH5PA4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A2K6UN3V7CPOXPKKFWUCRH5PA4/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-21T19:02:50Z","links":{"resolver":"https://pith.science/pith/A2K6UN3V7CPOXPKKFWUCRH5PA4","bundle":"https://pith.science/pith/A2K6UN3V7CPOXPKKFWUCRH5PA4/bundle.json","state":"https://pith.science/pith/A2K6UN3V7CPOXPKKFWUCRH5PA4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A2K6UN3V7CPOXPKKFWUCRH5PA4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:A2K6UN3V7CPOXPKKFWUCRH5PA4","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":"ce986ddd63cd56bd202ebcba79e0bebca203fe22741bb9c772e85e7ebc4dbd68","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-30T10:57:51Z","title_canon_sha256":"bd231e2721df5ace97d5b4654b934c469f55df1aa3fef778e2465fcdc588115a"},"schema_version":"1.0","source":{"id":"1804.11121","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.11121","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"arxiv_version","alias_value":"1804.11121v1","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.11121","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"pith_short_12","alias_value":"A2K6UN3V7CPO","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"A2K6UN3V7CPOXPKK","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"A2K6UN3V","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:7d1eb278ee93d7920609e06ef853435f82a4784bcc3db996f32d6afb51700a5f","target":"graph","created_at":"2026-05-18T00:17:14Z","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"},"paper":{"abstract_excerpt":"Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is correct is a manual and error-prone task, this is referred to as the oracle problem in the software testing literature. The correctness of the model transformation program is crucial for the proper generation of its output, so it should be tested. Metamorphic testing is a testing technique to alleviate the oracle problem consisting on exploiting the relations between different inputs and ou","authors_text":"Antonio Ruiz-Cort\\'es, Javier Troya, Sergio Segura","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-30T10:57:51Z","title":"Towards the Automation of Metamorphic Testing in Model Transformations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.11121","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:c1e83a8594384d5347e4c3d811cb3b327915e6149734bc6064c0d7bc4c771dcc","target":"record","created_at":"2026-05-18T00:17:14Z","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":"ce986ddd63cd56bd202ebcba79e0bebca203fe22741bb9c772e85e7ebc4dbd68","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-30T10:57:51Z","title_canon_sha256":"bd231e2721df5ace97d5b4654b934c469f55df1aa3fef778e2465fcdc588115a"},"schema_version":"1.0","source":{"id":"1804.11121","kind":"arxiv","version":1}},"canonical_sha256":"0695ea3775f89eebbd4a2da8289faf073dc12c02c43b2331ac69cfae934f6f39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0695ea3775f89eebbd4a2da8289faf073dc12c02c43b2331ac69cfae934f6f39","first_computed_at":"2026-05-18T00:17:14.568029Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:14.568029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fzPO/JTr0JjQJwuU2G3dP1y+5qZglm4GVMPrGokBTpZfy2bJnNtMKU2TtcZpye2bM4cvOquKxJKou6MysSUJDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:14.568651Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.11121","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1e83a8594384d5347e4c3d811cb3b327915e6149734bc6064c0d7bc4c771dcc","sha256:7d1eb278ee93d7920609e06ef853435f82a4784bcc3db996f32d6afb51700a5f"],"state_sha256":"e8d3246de2a09d40c7edcc7b2b8a58a912b9077ad8e09c6bc743257ef4d940fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HElfLzKoKO2LN0nNkrQIHFG90WHO5HvXyd00SuGCXukyoCgaLwO0hR2IHUiGxmHtodqnUf8V82liXdkh1j3nBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T19:02:50.133337Z","bundle_sha256":"fec82e11dcc4580fb0432e0810102c0b32b304a9abb726b21c7aade867e77199"}}