{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7B766SKV6Q3X5QEY3QA5AB4X3N","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":"6d17a9d149f6aab47d58f942b816681c77667f90006d9d88a0a9b556b2aa6774","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-28T20:27:12Z","title_canon_sha256":"d985cf194b4d8d37178da74ba85c497e8d3c3591115beb27a07a8e5244776a1c"},"schema_version":"1.0","source":{"id":"1903.12247","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.12247","created_at":"2026-05-17T23:49:54Z"},{"alias_kind":"arxiv_version","alias_value":"1903.12247v1","created_at":"2026-05-17T23:49:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.12247","created_at":"2026-05-17T23:49:54Z"},{"alias_kind":"pith_short_12","alias_value":"7B766SKV6Q3X","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7B766SKV6Q3X5QEY","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7B766SKV","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:f411832212bb8dccadde07d0e9e1c085f13089ca73f1a2b09cb83788aa2ce827","target":"graph","created_at":"2026-05-17T23:49:54Z","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":"To develop, analyze, and evolve today's highly configurable software systems, developers need deep knowledge of a system's configuration options, e.g., how options need to be set to reach certain locations, what configurations to use for testing, etc. Today, acquiring this detailed information requires manual effort that is difficult, expensive, and error prone. In this paper, we propose iGen, a novel, lightweight dynamic analysis technique that automatically discovers a program's \\emph{interactions}---expressive logical formulae that give developers rich and detailed information about how a s","authors_text":"Adam A. Porter, Javran Cheng, Jeffrey S. Foster, ThanhVu Nguyen, Ugur Koc","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-28T20:27:12Z","title":"iGen: Dynamic Interaction Inference for Configurable Software"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.12247","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:027983696ae494cedff6fdeb2ac033f322581e2ce6478aff253149adb4f71a9a","target":"record","created_at":"2026-05-17T23:49:54Z","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":"6d17a9d149f6aab47d58f942b816681c77667f90006d9d88a0a9b556b2aa6774","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-28T20:27:12Z","title_canon_sha256":"d985cf194b4d8d37178da74ba85c497e8d3c3591115beb27a07a8e5244776a1c"},"schema_version":"1.0","source":{"id":"1903.12247","kind":"arxiv","version":1}},"canonical_sha256":"f87fef4955f4377ec098dc01d00797db490ce2f2d5e6f9701b154c80ba6b8e80","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f87fef4955f4377ec098dc01d00797db490ce2f2d5e6f9701b154c80ba6b8e80","first_computed_at":"2026-05-17T23:49:54.480908Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:54.480908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7tFXvLcqEzSLy0N0VaNX02mUa9jjgKdUja+BW1EOfs9G2qN96SG71W/25lx0bgMUQOAkVEkxVZfya51UI28YAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:54.481435Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.12247","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:027983696ae494cedff6fdeb2ac033f322581e2ce6478aff253149adb4f71a9a","sha256:f411832212bb8dccadde07d0e9e1c085f13089ca73f1a2b09cb83788aa2ce827"],"state_sha256":"9441ea193367a382313fe6d21104da6198dcf8153a991de7a48849b3ad521c11"}