{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:7B766SKV6Q3X5QEY3QA5AB4X3N","short_pith_number":"pith:7B766SKV","schema_version":"1.0","canonical_sha256":"f87fef4955f4377ec098dc01d00797db490ce2f2d5e6f9701b154c80ba6b8e80","source":{"kind":"arxiv","id":"1903.12247","version":1},"attestation_state":"computed","paper":{"title":"iGen: Dynamic Interaction Inference for Configurable Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adam A. Porter, Javran Cheng, Jeffrey S. Foster, ThanhVu Nguyen, Ugur Koc","submitted_at":"2019-03-28T20:27:12Z","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"},"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":"1903.12247","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-28T20:27:12Z","cross_cats_sorted":[],"title_canon_sha256":"d985cf194b4d8d37178da74ba85c497e8d3c3591115beb27a07a8e5244776a1c","abstract_canon_sha256":"6d17a9d149f6aab47d58f942b816681c77667f90006d9d88a0a9b556b2aa6774"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:54.481435Z","signature_b64":"7tFXvLcqEzSLy0N0VaNX02mUa9jjgKdUja+BW1EOfs9G2qN96SG71W/25lx0bgMUQOAkVEkxVZfya51UI28YAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f87fef4955f4377ec098dc01d00797db490ce2f2d5e6f9701b154c80ba6b8e80","last_reissued_at":"2026-05-17T23:49:54.480908Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:54.480908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"iGen: Dynamic Interaction Inference for Configurable Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adam A. Porter, Javran Cheng, Jeffrey S. Foster, ThanhVu Nguyen, Ugur Koc","submitted_at":"2019-03-28T20:27:12Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.12247","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":"1903.12247","created_at":"2026-05-17T23:49:54.480967+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.12247v1","created_at":"2026-05-17T23:49:54.480967+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.12247","created_at":"2026-05-17T23:49:54.480967+00:00"},{"alias_kind":"pith_short_12","alias_value":"7B766SKV6Q3X","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"7B766SKV6Q3X5QEY","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"7B766SKV","created_at":"2026-05-18T12:33:12.712433+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/7B766SKV6Q3X5QEY3QA5AB4X3N","json":"https://pith.science/pith/7B766SKV6Q3X5QEY3QA5AB4X3N.json","graph_json":"https://pith.science/api/pith-number/7B766SKV6Q3X5QEY3QA5AB4X3N/graph.json","events_json":"https://pith.science/api/pith-number/7B766SKV6Q3X5QEY3QA5AB4X3N/events.json","paper":"https://pith.science/paper/7B766SKV"},"agent_actions":{"view_html":"https://pith.science/pith/7B766SKV6Q3X5QEY3QA5AB4X3N","download_json":"https://pith.science/pith/7B766SKV6Q3X5QEY3QA5AB4X3N.json","view_paper":"https://pith.science/paper/7B766SKV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.12247&json=true","fetch_graph":"https://pith.science/api/pith-number/7B766SKV6Q3X5QEY3QA5AB4X3N/graph.json","fetch_events":"https://pith.science/api/pith-number/7B766SKV6Q3X5QEY3QA5AB4X3N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7B766SKV6Q3X5QEY3QA5AB4X3N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7B766SKV6Q3X5QEY3QA5AB4X3N/action/storage_attestation","attest_author":"https://pith.science/pith/7B766SKV6Q3X5QEY3QA5AB4X3N/action/author_attestation","sign_citation":"https://pith.science/pith/7B766SKV6Q3X5QEY3QA5AB4X3N/action/citation_signature","submit_replication":"https://pith.science/pith/7B766SKV6Q3X5QEY3QA5AB4X3N/action/replication_record"}},"created_at":"2026-05-17T23:49:54.480967+00:00","updated_at":"2026-05-17T23:49:54.480967+00:00"}