{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:UTSJ6626BY5AJBZWEEZUJ2IY7Y","short_pith_number":"pith:UTSJ6626","canonical_record":{"source":{"id":"1311.7313","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-28T13:28:25Z","cross_cats_sorted":[],"title_canon_sha256":"b8749e8c8ffec4e770e6c0a5a3bb39e48622f926a2d1d8a138d9b65f485db27b","abstract_canon_sha256":"ba680a742e571f386716e76b05e8d534ee13ee68bf1b3ba9b9a67ec780c43ae3"},"schema_version":"1.0"},"canonical_sha256":"a4e49f7b5e0e3a048736213344e918fe3e56917c411610def6d26725a4f82a82","source":{"kind":"arxiv","id":"1311.7313","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.7313","created_at":"2026-05-18T03:05:27Z"},{"alias_kind":"arxiv_version","alias_value":"1311.7313v2","created_at":"2026-05-18T03:05:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.7313","created_at":"2026-05-18T03:05:27Z"},{"alias_kind":"pith_short_12","alias_value":"UTSJ6626BY5A","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UTSJ6626BY5AJBZW","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UTSJ6626","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:UTSJ6626BY5AJBZWEEZUJ2IY7Y","target":"record","payload":{"canonical_record":{"source":{"id":"1311.7313","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-28T13:28:25Z","cross_cats_sorted":[],"title_canon_sha256":"b8749e8c8ffec4e770e6c0a5a3bb39e48622f926a2d1d8a138d9b65f485db27b","abstract_canon_sha256":"ba680a742e571f386716e76b05e8d534ee13ee68bf1b3ba9b9a67ec780c43ae3"},"schema_version":"1.0"},"canonical_sha256":"a4e49f7b5e0e3a048736213344e918fe3e56917c411610def6d26725a4f82a82","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:05:27.671820Z","signature_b64":"bMcjSeJyTDm+gp1ZfN+o8pMyKeEaDKYbFdua60mB1AWjJ+wOCU7V6aPt903cM/t6jM6/eFFGZk5biqP1AncvBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a4e49f7b5e0e3a048736213344e918fe3e56917c411610def6d26725a4f82a82","last_reissued_at":"2026-05-18T03:05:27.671308Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:05:27.671308Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.7313","source_version":2,"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-18T03:05:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pybMLZPxQbM6EkKeQRH9T3XIScUzqq1IIZw+3k2gJpdntA0AEApEQsdj172RWzL8z8HqciTvpoR3uzUWmM1wDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:34:32.542252Z"},"content_sha256":"928b0fd270df0310f3731e03bf2d7615cc861f8e9c9f339233d40c55ebc24a0a","schema_version":"1.0","event_id":"sha256:928b0fd270df0310f3731e03bf2d7615cc861f8e9c9f339233d40c55ebc24a0a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:UTSJ6626BY5AJBZWEEZUJ2IY7Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving CASA Runtime Performance by Exploiting Basic Feature Model Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Egyed, Evelyn Nicole Haslinger, Roberto E. Lopez-Herrejon","submitted_at":"2013-11-28T13:28:25Z","abstract_excerpt":"In Software Product Line Engineering (SPLE) families of systems are designed, rather than developing the individual systems independently. Combinatorial Interaction Testing has proven to be effective for testing in the context of SPLE, where a representative subset of products is chosen for testing in place of the complete family. Such a subset of products can be determined by computing a so called t-wise Covering Array (tCA), whose computation is NP-complete. Recently, reduction rules that exploit basic feature model analysis have been proposed that reduce the number of elements that need to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.7313","kind":"arxiv","version":2},"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-18T03:05:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cvpgiQOBKFplpWVtCW0i01rVqhUuteUp6eUEmDnqA739tj1r5qcExEPT3HPzBh33vnc9Vj67bCzQyD4CTxHBCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:34:32.542664Z"},"content_sha256":"e26927ff60b0f46b1cba046ca39fedab78e496bf825e74ea98f031c2e148fe45","schema_version":"1.0","event_id":"sha256:e26927ff60b0f46b1cba046ca39fedab78e496bf825e74ea98f031c2e148fe45"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UTSJ6626BY5AJBZWEEZUJ2IY7Y/bundle.json","state_url":"https://pith.science/pith/UTSJ6626BY5AJBZWEEZUJ2IY7Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UTSJ6626BY5AJBZWEEZUJ2IY7Y/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-03T22:34:32Z","links":{"resolver":"https://pith.science/pith/UTSJ6626BY5AJBZWEEZUJ2IY7Y","bundle":"https://pith.science/pith/UTSJ6626BY5AJBZWEEZUJ2IY7Y/bundle.json","state":"https://pith.science/pith/UTSJ6626BY5AJBZWEEZUJ2IY7Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UTSJ6626BY5AJBZWEEZUJ2IY7Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:UTSJ6626BY5AJBZWEEZUJ2IY7Y","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":"ba680a742e571f386716e76b05e8d534ee13ee68bf1b3ba9b9a67ec780c43ae3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-28T13:28:25Z","title_canon_sha256":"b8749e8c8ffec4e770e6c0a5a3bb39e48622f926a2d1d8a138d9b65f485db27b"},"schema_version":"1.0","source":{"id":"1311.7313","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.7313","created_at":"2026-05-18T03:05:27Z"},{"alias_kind":"arxiv_version","alias_value":"1311.7313v2","created_at":"2026-05-18T03:05:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.7313","created_at":"2026-05-18T03:05:27Z"},{"alias_kind":"pith_short_12","alias_value":"UTSJ6626BY5A","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UTSJ6626BY5AJBZW","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UTSJ6626","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:e26927ff60b0f46b1cba046ca39fedab78e496bf825e74ea98f031c2e148fe45","target":"graph","created_at":"2026-05-18T03:05:27Z","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":"In Software Product Line Engineering (SPLE) families of systems are designed, rather than developing the individual systems independently. Combinatorial Interaction Testing has proven to be effective for testing in the context of SPLE, where a representative subset of products is chosen for testing in place of the complete family. Such a subset of products can be determined by computing a so called t-wise Covering Array (tCA), whose computation is NP-complete. Recently, reduction rules that exploit basic feature model analysis have been proposed that reduce the number of elements that need to ","authors_text":"Alexander Egyed, Evelyn Nicole Haslinger, Roberto E. Lopez-Herrejon","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-28T13:28:25Z","title":"Improving CASA Runtime Performance by Exploiting Basic Feature Model Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.7313","kind":"arxiv","version":2},"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:928b0fd270df0310f3731e03bf2d7615cc861f8e9c9f339233d40c55ebc24a0a","target":"record","created_at":"2026-05-18T03:05:27Z","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":"ba680a742e571f386716e76b05e8d534ee13ee68bf1b3ba9b9a67ec780c43ae3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-11-28T13:28:25Z","title_canon_sha256":"b8749e8c8ffec4e770e6c0a5a3bb39e48622f926a2d1d8a138d9b65f485db27b"},"schema_version":"1.0","source":{"id":"1311.7313","kind":"arxiv","version":2}},"canonical_sha256":"a4e49f7b5e0e3a048736213344e918fe3e56917c411610def6d26725a4f82a82","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a4e49f7b5e0e3a048736213344e918fe3e56917c411610def6d26725a4f82a82","first_computed_at":"2026-05-18T03:05:27.671308Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:05:27.671308Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bMcjSeJyTDm+gp1ZfN+o8pMyKeEaDKYbFdua60mB1AWjJ+wOCU7V6aPt903cM/t6jM6/eFFGZk5biqP1AncvBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:05:27.671820Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.7313","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:928b0fd270df0310f3731e03bf2d7615cc861f8e9c9f339233d40c55ebc24a0a","sha256:e26927ff60b0f46b1cba046ca39fedab78e496bf825e74ea98f031c2e148fe45"],"state_sha256":"a7ede1eae49e69e769965c7792b157bc715257facb2d721d45ec9d89f8812a0b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ofi3yNxDNgCn9gn5UBj1CmKB2E9hQ8Rm8j/h9SLPrwaXMFm4ZNAb5yNO4DWuZNntowF239EvfHxGn+SfOCayDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T22:34:32.544735Z","bundle_sha256":"46b6c255e3a1f3000e3e87ddcfd0820a10c781aef8bc35cdb38e763508603d2b"}}