{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:TIB6HOD5D5V4YAJG2NOTYGUDUJ","short_pith_number":"pith:TIB6HOD5","canonical_record":{"source":{"id":"2106.13900","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-25T22:29:49Z","cross_cats_sorted":[],"title_canon_sha256":"f9fa45f9d0ae140e7487345d00098e977b827d87e8954655dd839fd17e0a3f90","abstract_canon_sha256":"9e970a6aafb956ce38226499d98fb6520d3e532fcd2cac8768e99688c7d0c668"},"schema_version":"1.0"},"canonical_sha256":"9a03e3b87d1f6bcc0126d35d3c1a83a24eddf361812fdd91ea353c106e0d93cb","source":{"kind":"arxiv","id":"2106.13900","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.13900","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"arxiv_version","alias_value":"2106.13900v2","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.13900","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"pith_short_12","alias_value":"TIB6HOD5D5V4","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"pith_short_16","alias_value":"TIB6HOD5D5V4YAJG","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"pith_short_8","alias_value":"TIB6HOD5","created_at":"2026-07-05T02:59:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:TIB6HOD5D5V4YAJG2NOTYGUDUJ","target":"record","payload":{"canonical_record":{"source":{"id":"2106.13900","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-25T22:29:49Z","cross_cats_sorted":[],"title_canon_sha256":"f9fa45f9d0ae140e7487345d00098e977b827d87e8954655dd839fd17e0a3f90","abstract_canon_sha256":"9e970a6aafb956ce38226499d98fb6520d3e532fcd2cac8768e99688c7d0c668"},"schema_version":"1.0"},"canonical_sha256":"9a03e3b87d1f6bcc0126d35d3c1a83a24eddf361812fdd91ea353c106e0d93cb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:59:57.786679Z","signature_b64":"u3n2ke8bx00l5wGUVLz3Q5PvYgo06VlVziCH8nzDcydlLMs9lWUnwCJ/GzA7C0S8le5U2/ciDgScdS7dnqQyCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a03e3b87d1f6bcc0126d35d3c1a83a24eddf361812fdd91ea353c106e0d93cb","last_reissued_at":"2026-07-05T02:59:57.786208Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:59:57.786208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2106.13900","source_version":2,"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-05T02:59:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wrKhTzyJbsYbSSFDYFBChjxCchP4v47fcsv8+bRrkk44A7JQDCzDg6PHxDl1K2lnsneHkaOC4sBx7iyUcEZuDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T18:44:06.046896Z"},"content_sha256":"060005cc3db6baa450c42a27e26fed320adac80d41bf78d9336ef8b8fd401f21","schema_version":"1.0","event_id":"sha256:060005cc3db6baa450c42a27e26fed320adac80d41bf78d9336ef8b8fd401f21"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:TIB6HOD5D5V4YAJG2NOTYGUDUJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Preserving the Behavior in Software Refactoring: A Systematic Mapping Study","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ali Ouni, Christian Newman, Eman Abdullah AlOmar, Mohamed Wiem Mkaouer","submitted_at":"2021-06-25T22:29:49Z","abstract_excerpt":"Context: Refactoring is the art of modifying the design of a system without altering its behavior. The idea is to reorganize variables, classes and methods to facilitate their future adaptations and comprehension. As the concept of behavior preservation is fundamental for refactoring, several studies, using formal verification, language transformation and dynamic analysis, have been proposed to monitor the execution of refactoring operations and their impact on the program semantics. However, there is no existing study that examines the available behavior preservation strategies for each refac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.13900","kind":"arxiv","version":2},"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/2106.13900/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-05T02:59:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DJGzzuuvhAVmnrpWCPUtM8JIlR6fbI4E5vVxhsqi+axE7M7DCZyIVyKkaVX/gggH+WWEvHcCrODcaajU/TkeAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T18:44:06.047276Z"},"content_sha256":"56881b83a4f2a717d288fadfa5e02d693a1b3e023f9ad4dc4d5af486ae79c32d","schema_version":"1.0","event_id":"sha256:56881b83a4f2a717d288fadfa5e02d693a1b3e023f9ad4dc4d5af486ae79c32d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TIB6HOD5D5V4YAJG2NOTYGUDUJ/bundle.json","state_url":"https://pith.science/pith/TIB6HOD5D5V4YAJG2NOTYGUDUJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TIB6HOD5D5V4YAJG2NOTYGUDUJ/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-07-06T18:44:06Z","links":{"resolver":"https://pith.science/pith/TIB6HOD5D5V4YAJG2NOTYGUDUJ","bundle":"https://pith.science/pith/TIB6HOD5D5V4YAJG2NOTYGUDUJ/bundle.json","state":"https://pith.science/pith/TIB6HOD5D5V4YAJG2NOTYGUDUJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TIB6HOD5D5V4YAJG2NOTYGUDUJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:TIB6HOD5D5V4YAJG2NOTYGUDUJ","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":"9e970a6aafb956ce38226499d98fb6520d3e532fcd2cac8768e99688c7d0c668","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-25T22:29:49Z","title_canon_sha256":"f9fa45f9d0ae140e7487345d00098e977b827d87e8954655dd839fd17e0a3f90"},"schema_version":"1.0","source":{"id":"2106.13900","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.13900","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"arxiv_version","alias_value":"2106.13900v2","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.13900","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"pith_short_12","alias_value":"TIB6HOD5D5V4","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"pith_short_16","alias_value":"TIB6HOD5D5V4YAJG","created_at":"2026-07-05T02:59:57Z"},{"alias_kind":"pith_short_8","alias_value":"TIB6HOD5","created_at":"2026-07-05T02:59:57Z"}],"graph_snapshots":[{"event_id":"sha256:56881b83a4f2a717d288fadfa5e02d693a1b3e023f9ad4dc4d5af486ae79c32d","target":"graph","created_at":"2026-07-05T02:59:57Z","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/2106.13900/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Context: Refactoring is the art of modifying the design of a system without altering its behavior. The idea is to reorganize variables, classes and methods to facilitate their future adaptations and comprehension. As the concept of behavior preservation is fundamental for refactoring, several studies, using formal verification, language transformation and dynamic analysis, have been proposed to monitor the execution of refactoring operations and their impact on the program semantics. However, there is no existing study that examines the available behavior preservation strategies for each refac","authors_text":"Ali Ouni, Christian Newman, Eman Abdullah AlOmar, Mohamed Wiem Mkaouer","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-25T22:29:49Z","title":"On Preserving the Behavior in Software Refactoring: A Systematic Mapping Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.13900","kind":"arxiv","version":2},"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:060005cc3db6baa450c42a27e26fed320adac80d41bf78d9336ef8b8fd401f21","target":"record","created_at":"2026-07-05T02:59:57Z","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":"9e970a6aafb956ce38226499d98fb6520d3e532fcd2cac8768e99688c7d0c668","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-25T22:29:49Z","title_canon_sha256":"f9fa45f9d0ae140e7487345d00098e977b827d87e8954655dd839fd17e0a3f90"},"schema_version":"1.0","source":{"id":"2106.13900","kind":"arxiv","version":2}},"canonical_sha256":"9a03e3b87d1f6bcc0126d35d3c1a83a24eddf361812fdd91ea353c106e0d93cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a03e3b87d1f6bcc0126d35d3c1a83a24eddf361812fdd91ea353c106e0d93cb","first_computed_at":"2026-07-05T02:59:57.786208Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:59:57.786208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u3n2ke8bx00l5wGUVLz3Q5PvYgo06VlVziCH8nzDcydlLMs9lWUnwCJ/GzA7C0S8le5U2/ciDgScdS7dnqQyCw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:59:57.786679Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.13900","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:060005cc3db6baa450c42a27e26fed320adac80d41bf78d9336ef8b8fd401f21","sha256:56881b83a4f2a717d288fadfa5e02d693a1b3e023f9ad4dc4d5af486ae79c32d"],"state_sha256":"cdec67a21dae79afbd9553bec7aed23e576817f3f5e69b5b1f09831b723c2daa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9/vM4LQMfC+V3lo8tmSqqaeVIN5+jMPaCuG00Tdk1HOC1i5+CdPy+9BQhfsw6FQhYk4c8byXaAWoGKKVQLxEBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T18:44:06.049212Z","bundle_sha256":"fc4a7653aed6cf8fcedba63f2d7fbcba7adc2eb0a3d72675a845ada259e8454c"}}