{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:QGSIYHXYRWEBGQR7YJMQSLS2B5","short_pith_number":"pith:QGSIYHXY","schema_version":"1.0","canonical_sha256":"81a48c1ef88d8813423fc259092e5a0f400166b39c4ff38be2e0ffec202907c3","source":{"kind":"arxiv","id":"1807.03837","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1807.03837","created_at":"2026-05-18T00:10:58.907641+00:00"},{"alias_kind":"arxiv_version","alias_value":"1807.03837v1","created_at":"2026-05-18T00:10:58.907641+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.03837","created_at":"2026-05-18T00:10:58.907641+00:00"},{"alias_kind":"pith_short_12","alias_value":"QGSIYHXYRWEB","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_16","alias_value":"QGSIYHXYRWEBGQR7","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_8","alias_value":"QGSIYHXY","created_at":"2026-05-18T12:32:46.962924+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/QGSIYHXYRWEBGQR7YJMQSLS2B5","json":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5.json","graph_json":"https://pith.science/api/pith-number/QGSIYHXYRWEBGQR7YJMQSLS2B5/graph.json","events_json":"https://pith.science/api/pith-number/QGSIYHXYRWEBGQR7YJMQSLS2B5/events.json","paper":"https://pith.science/paper/QGSIYHXY"},"agent_actions":{"view_html":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5","download_json":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5.json","view_paper":"https://pith.science/paper/QGSIYHXY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1807.03837&json=true","fetch_graph":"https://pith.science/api/pith-number/QGSIYHXYRWEBGQR7YJMQSLS2B5/graph.json","fetch_events":"https://pith.science/api/pith-number/QGSIYHXYRWEBGQR7YJMQSLS2B5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/action/storage_attestation","attest_author":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/action/author_attestation","sign_citation":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/action/citation_signature","submit_replication":"https://pith.science/pith/QGSIYHXYRWEBGQR7YJMQSLS2B5/action/replication_record"}},"created_at":"2026-05-18T00:10:58.907641+00:00","updated_at":"2026-05-18T00:10:58.907641+00:00"}