{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:E5QNWE7FL4SKM4S3OTMMVKNPVD","short_pith_number":"pith:E5QNWE7F","canonical_record":{"source":{"id":"1911.07779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-18T17:26:11Z","cross_cats_sorted":[],"title_canon_sha256":"e24b2a8a5d6adc15ca30f55aa8f57944fb3ff5377bc90a1839249ebed1e61857","abstract_canon_sha256":"97bbea30b2142a122c31a1c14d74fa223c0644b1de7e7ca258858d3b7a1f6061"},"schema_version":"1.0"},"canonical_sha256":"2760db13e55f24a6725b74d8caa9afa8d2fd60f3681c8ac2068d20926e832c4e","source":{"kind":"arxiv","id":"1911.07779","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.07779","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"arxiv_version","alias_value":"1911.07779v1","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.07779","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"pith_short_12","alias_value":"E5QNWE7FL4SK","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"pith_short_16","alias_value":"E5QNWE7FL4SKM4S3","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"pith_short_8","alias_value":"E5QNWE7F","created_at":"2026-07-05T00:20:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:E5QNWE7FL4SKM4S3OTMMVKNPVD","target":"record","payload":{"canonical_record":{"source":{"id":"1911.07779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-18T17:26:11Z","cross_cats_sorted":[],"title_canon_sha256":"e24b2a8a5d6adc15ca30f55aa8f57944fb3ff5377bc90a1839249ebed1e61857","abstract_canon_sha256":"97bbea30b2142a122c31a1c14d74fa223c0644b1de7e7ca258858d3b7a1f6061"},"schema_version":"1.0"},"canonical_sha256":"2760db13e55f24a6725b74d8caa9afa8d2fd60f3681c8ac2068d20926e832c4e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:20:08.039287Z","signature_b64":"k1pNdKAic6u7/v0Bu2+RdyXfPXiJxK6vS28RlF/Uu3ccZd3U8G759y13PkIs6FOZ3KmWPG7T3HlPbG5z8CesDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2760db13e55f24a6725b74d8caa9afa8d2fd60f3681c8ac2068d20926e832c4e","last_reissued_at":"2026-07-05T00:20:08.038804Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:20:08.038804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.07779","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-07-05T00:20:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UAAlsJRtjMhrjMLBBHrT6NrKGQsuSZ2ReZ8ft2rUmzhystuUTZan3S6YSUo09RPHKjYhb1WMXyXMgXLmrwYlBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T18:13:07.051623Z"},"content_sha256":"ab91c5a8ea14071e2aa1bfd4fb83c78a9df0af1002107e9f4b4bd060f857678d","schema_version":"1.0","event_id":"sha256:ab91c5a8ea14071e2aa1bfd4fb83c78a9df0af1002107e9f4b4bd060f857678d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:E5QNWE7FL4SKM4S3OTMMVKNPVD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Feature-Interaction Aware Configuration Prioritization for Configurable Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hieu Tran, Hoan Nguyen, Ngoc Tran, Son Nguyen, Tien N. Nguyen","submitted_at":"2019-11-18T17:26:11Z","abstract_excerpt":"Unexpected interactions among features induce most bugs in a configurable software system. Exhaustively analyzing all the exponential number of possible configurations is prohibitively costly. Thus, various sampling techniques have been proposed to systematically narrow down the exponential number of legal configurations to be analyzed. Since analyzing all selected configurations can require a huge amount of effort, fault-based configuration prioritization, that helps detect faults earlier, can yield practical benefits in quality assurance. In this paper, we propose CoPro, a novel formulation "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.07779","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1911.07779/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-05T00:20:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ARjUYBx8sS6Jwpy8elpbckBR2kFiHgPTqWyrqV41+NmLfrnJPnrMXpKCPn3f0IljdrzBuOfRQIGOP4kvvT6kCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T18:13:07.052599Z"},"content_sha256":"38ad1ff3478e0a6036a17b654aed058136031ba1a7f98fb53db427e7eb2952c7","schema_version":"1.0","event_id":"sha256:38ad1ff3478e0a6036a17b654aed058136031ba1a7f98fb53db427e7eb2952c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E5QNWE7FL4SKM4S3OTMMVKNPVD/bundle.json","state_url":"https://pith.science/pith/E5QNWE7FL4SKM4S3OTMMVKNPVD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E5QNWE7FL4SKM4S3OTMMVKNPVD/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-08-17T18:13:07Z","links":{"resolver":"https://pith.science/pith/E5QNWE7FL4SKM4S3OTMMVKNPVD","bundle":"https://pith.science/pith/E5QNWE7FL4SKM4S3OTMMVKNPVD/bundle.json","state":"https://pith.science/pith/E5QNWE7FL4SKM4S3OTMMVKNPVD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E5QNWE7FL4SKM4S3OTMMVKNPVD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:E5QNWE7FL4SKM4S3OTMMVKNPVD","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":"97bbea30b2142a122c31a1c14d74fa223c0644b1de7e7ca258858d3b7a1f6061","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-18T17:26:11Z","title_canon_sha256":"e24b2a8a5d6adc15ca30f55aa8f57944fb3ff5377bc90a1839249ebed1e61857"},"schema_version":"1.0","source":{"id":"1911.07779","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.07779","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"arxiv_version","alias_value":"1911.07779v1","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.07779","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"pith_short_12","alias_value":"E5QNWE7FL4SK","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"pith_short_16","alias_value":"E5QNWE7FL4SKM4S3","created_at":"2026-07-05T00:20:08Z"},{"alias_kind":"pith_short_8","alias_value":"E5QNWE7F","created_at":"2026-07-05T00:20:08Z"}],"graph_snapshots":[{"event_id":"sha256:38ad1ff3478e0a6036a17b654aed058136031ba1a7f98fb53db427e7eb2952c7","target":"graph","created_at":"2026-07-05T00:20:08Z","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/1911.07779/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Unexpected interactions among features induce most bugs in a configurable software system. Exhaustively analyzing all the exponential number of possible configurations is prohibitively costly. Thus, various sampling techniques have been proposed to systematically narrow down the exponential number of legal configurations to be analyzed. Since analyzing all selected configurations can require a huge amount of effort, fault-based configuration prioritization, that helps detect faults earlier, can yield practical benefits in quality assurance. In this paper, we propose CoPro, a novel formulation ","authors_text":"Hieu Tran, Hoan Nguyen, Ngoc Tran, Son Nguyen, Tien N. Nguyen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-18T17:26:11Z","title":"Feature-Interaction Aware Configuration Prioritization for Configurable Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.07779","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:ab91c5a8ea14071e2aa1bfd4fb83c78a9df0af1002107e9f4b4bd060f857678d","target":"record","created_at":"2026-07-05T00:20:08Z","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":"97bbea30b2142a122c31a1c14d74fa223c0644b1de7e7ca258858d3b7a1f6061","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-18T17:26:11Z","title_canon_sha256":"e24b2a8a5d6adc15ca30f55aa8f57944fb3ff5377bc90a1839249ebed1e61857"},"schema_version":"1.0","source":{"id":"1911.07779","kind":"arxiv","version":1}},"canonical_sha256":"2760db13e55f24a6725b74d8caa9afa8d2fd60f3681c8ac2068d20926e832c4e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2760db13e55f24a6725b74d8caa9afa8d2fd60f3681c8ac2068d20926e832c4e","first_computed_at":"2026-07-05T00:20:08.038804Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:20:08.038804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k1pNdKAic6u7/v0Bu2+RdyXfPXiJxK6vS28RlF/Uu3ccZd3U8G759y13PkIs6FOZ3KmWPG7T3HlPbG5z8CesDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:20:08.039287Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.07779","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab91c5a8ea14071e2aa1bfd4fb83c78a9df0af1002107e9f4b4bd060f857678d","sha256:38ad1ff3478e0a6036a17b654aed058136031ba1a7f98fb53db427e7eb2952c7"],"state_sha256":"1fe94cd81dfcd31895d0b59b46817a5d9a7ff02dc68b88137095fd2f0a6c8448"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"biRto+A7CdqwVBb2hZd1SZHo+kgafOnsQRTefNw78e2V3Lqooj7GgKWPou4RsHnYfdp//xyc+TZJu9OhZvrIAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T18:13:07.060867Z","bundle_sha256":"b795c1037c40d566c103356d6a04d957be245baf56fe59e75e41422d85432b51"}}