{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:QGSIYHXYRWEBGQR7YJMQSLS2B5","short_pith_number":"pith:QGSIYHXY","canonical_record":{"source":{"id":"1807.03837","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-10T19:35:26Z","cross_cats_sorted":[],"title_canon_sha256":"cab3428cc4d5797522b12d16a0f2f637e84491867ef58a9144459e7088f1b3a4","abstract_canon_sha256":"928f3904cf0bc4baa38d0100532839415752be207146d2d06e9cf5200bb81cc5"},"schema_version":"1.0"},"canonical_sha256":"81a48c1ef88d8813423fc259092e5a0f400166b39c4ff38be2e0ffec202907c3","source":{"kind":"arxiv","id":"1807.03837","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.03837","created_at":"2026-05-18T00:10:58Z"},{"alias_kind":"arxiv_version","alias_value":"1807.03837v1","created_at":"2026-05-18T00:10:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.03837","created_at":"2026-05-18T00:10:58Z"},{"alias_kind":"pith_short_12","alias_value":"QGSIYHXYRWEB","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QGSIYHXYRWEBGQR7","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QGSIYHXY","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:QGSIYHXYRWEBGQR7YJMQSLS2B5","target":"record","payload":{"canonical_record":{"source":{"id":"1807.03837","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-10T19:35:26Z","cross_cats_sorted":[],"title_canon_sha256":"cab3428cc4d5797522b12d16a0f2f637e84491867ef58a9144459e7088f1b3a4","abstract_canon_sha256":"928f3904cf0bc4baa38d0100532839415752be207146d2d06e9cf5200bb81cc5"},"schema_version":"1.0"},"canonical_sha256":"81a48c1ef88d8813423fc259092e5a0f400166b39c4ff38be2e0ffec202907c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:58.908284Z","signature_b64":"ocGP/5qV3XFeGRdvPsoY5jEtjuh7iR09+YR90G2fO7F/jWpb5n2PAmestsnimo5n3Z7hpCxXmJc1CfM0tdV8Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81a48c1ef88d8813423fc259092e5a0f400166b39c4ff38be2e0ffec202907c3","last_reissued_at":"2026-05-18T00:10:58.907514Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:58.907514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.03837","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:10:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ncbeZFmXkQmyi1LlMoZ/d83s34LpUX7ZLprZCEthEZ03UreBbNspFcU6w+PLktImNujBQ1GKKIUwHfAx7UG2DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T22:32:18.687493Z"},"content_sha256":"d0c6e4d7c84d2ad415220d5b23070f5182ae4cecf6f260e21c0a4ffce9a2cc3e","schema_version":"1.0","event_id":"sha256:d0c6e4d7c84d2ad415220d5b23070f5182ae4cecf6f260e21c0a4ffce9a2cc3e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:QGSIYHXYRWEBGQR7YJMQSLS2B5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Understanding Differences among Executions with Variational Traces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christian K\\\"astner, Chu-Pan Wong, Gunter Saake, Jens Meinicke","submitted_at":"2018-07-10T19:35:26Z","abstract_excerpt":"One of the main challenges of debugging is to understand why the program fails for certain inputs but succeeds for others. This becomes especially difficult if the fault is caused by an interaction of multiple inputs. To debug such interaction faults, it is necessary to understand the individual effect of the input, how these inputs interact and how these interactions cause the fault. The differences between two execution traces can explain why one input behaves differently than the other. We propose to compare execution traces of all input options to derive explanations of the behavior of all"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.03837","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:10:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WBzi+mimt6VYKOVwjHR0nQT1H+AoKw6xSbLcY5Y1GJS4yu+IG9M2kC5sZ7+PNJz7yRN7HE0QfELI4Rvlb74YCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T22:32:18.688153Z"},"content_sha256":"62514c9324487aa18195c7f0547e0a3f4be075dae6b463131076514d8c32806c","schema_version":"1.0","event_id":"sha256:62514c9324487aa18195c7f0547e0a3f4be075dae6b463131076514d8c32806c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/bundle.json","state_url":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/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-06-10T22:32:18Z","links":{"resolver":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5","bundle":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/bundle.json","state":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:QGSIYHXYRWEBGQR7YJMQSLS2B5","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":"928f3904cf0bc4baa38d0100532839415752be207146d2d06e9cf5200bb81cc5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-10T19:35:26Z","title_canon_sha256":"cab3428cc4d5797522b12d16a0f2f637e84491867ef58a9144459e7088f1b3a4"},"schema_version":"1.0","source":{"id":"1807.03837","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.03837","created_at":"2026-05-18T00:10:58Z"},{"alias_kind":"arxiv_version","alias_value":"1807.03837v1","created_at":"2026-05-18T00:10:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.03837","created_at":"2026-05-18T00:10:58Z"},{"alias_kind":"pith_short_12","alias_value":"QGSIYHXYRWEB","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QGSIYHXYRWEBGQR7","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QGSIYHXY","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:62514c9324487aa18195c7f0547e0a3f4be075dae6b463131076514d8c32806c","target":"graph","created_at":"2026-05-18T00:10:58Z","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":"One of the main challenges of debugging is to understand why the program fails for certain inputs but succeeds for others. This becomes especially difficult if the fault is caused by an interaction of multiple inputs. To debug such interaction faults, it is necessary to understand the individual effect of the input, how these inputs interact and how these interactions cause the fault. The differences between two execution traces can explain why one input behaves differently than the other. We propose to compare execution traces of all input options to derive explanations of the behavior of all","authors_text":"Christian K\\\"astner, Chu-Pan Wong, Gunter Saake, Jens Meinicke","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-10T19:35:26Z","title":"Understanding Differences among Executions with Variational Traces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.03837","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:d0c6e4d7c84d2ad415220d5b23070f5182ae4cecf6f260e21c0a4ffce9a2cc3e","target":"record","created_at":"2026-05-18T00:10:58Z","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":"928f3904cf0bc4baa38d0100532839415752be207146d2d06e9cf5200bb81cc5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-10T19:35:26Z","title_canon_sha256":"cab3428cc4d5797522b12d16a0f2f637e84491867ef58a9144459e7088f1b3a4"},"schema_version":"1.0","source":{"id":"1807.03837","kind":"arxiv","version":1}},"canonical_sha256":"81a48c1ef88d8813423fc259092e5a0f400166b39c4ff38be2e0ffec202907c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81a48c1ef88d8813423fc259092e5a0f400166b39c4ff38be2e0ffec202907c3","first_computed_at":"2026-05-18T00:10:58.907514Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:58.907514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ocGP/5qV3XFeGRdvPsoY5jEtjuh7iR09+YR90G2fO7F/jWpb5n2PAmestsnimo5n3Z7hpCxXmJc1CfM0tdV8Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:58.908284Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.03837","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d0c6e4d7c84d2ad415220d5b23070f5182ae4cecf6f260e21c0a4ffce9a2cc3e","sha256:62514c9324487aa18195c7f0547e0a3f4be075dae6b463131076514d8c32806c"],"state_sha256":"37233d4678676cef25156ae0a30ca03fd71b2b21af434da97cd269b271e32a20"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F/PT54fDwi5GJXtJgkBY/6nkir48C/L55ykfpJOWmFDERkmBqQQ25RQqreFS+1fqSLWfWHsV2dLDdCoFEq5DAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T22:32:18.691897Z","bundle_sha256":"b10a092f6f4941a0415fa30e7a6f9d3e3014e552907cc8e73e9368c14b3edcc7"}}