{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:AF3ER4DYLR5TANZ42KYCKTNPPS","short_pith_number":"pith:AF3ER4DY","canonical_record":{"source":{"id":"1907.01779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T07:45:58Z","cross_cats_sorted":[],"title_canon_sha256":"d1157aae5f250ebda6d92c844bc609cf81adf993b9e771419571bcf8de4ed760","abstract_canon_sha256":"1a9a1b05cbae08bfe02d9181f346cd5461343754a21d238aa0b24e668d81417b"},"schema_version":"1.0"},"canonical_sha256":"017648f0785c7b30373cd2b0254daf7c89c3efab066a37dfa72f3766cf04bf53","source":{"kind":"arxiv","id":"1907.01779","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.01779","created_at":"2026-05-17T23:41:35Z"},{"alias_kind":"arxiv_version","alias_value":"1907.01779v1","created_at":"2026-05-17T23:41:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.01779","created_at":"2026-05-17T23:41:35Z"},{"alias_kind":"pith_short_12","alias_value":"AF3ER4DYLR5T","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AF3ER4DYLR5TANZ4","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AF3ER4DY","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:AF3ER4DYLR5TANZ42KYCKTNPPS","target":"record","payload":{"canonical_record":{"source":{"id":"1907.01779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T07:45:58Z","cross_cats_sorted":[],"title_canon_sha256":"d1157aae5f250ebda6d92c844bc609cf81adf993b9e771419571bcf8de4ed760","abstract_canon_sha256":"1a9a1b05cbae08bfe02d9181f346cd5461343754a21d238aa0b24e668d81417b"},"schema_version":"1.0"},"canonical_sha256":"017648f0785c7b30373cd2b0254daf7c89c3efab066a37dfa72f3766cf04bf53","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:35.134024Z","signature_b64":"pKK9fGAR4LC6jEw0/3DSKLuUQK2+xQad1EfE95JngObJ2mszus7pHcL0o0YA/IHiE3DEYAWFShZuRZp9quevAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"017648f0785c7b30373cd2b0254daf7c89c3efab066a37dfa72f3766cf04bf53","last_reissued_at":"2026-05-17T23:41:35.133389Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:35.133389Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.01779","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-05-17T23:41:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+0wWveiryOzq9GSuWFCm2bNG48bafk53Z4s6eOEBXHH+O9Im5pAtMsUMKCilnkBJRV4AIFQplCzeF98pqZVgAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T11:10:26.843797Z"},"content_sha256":"f9bea956bfece26226b7c3ee3cf57f1c41a2991110a9790db0c8a87d62f329fb","schema_version":"1.0","event_id":"sha256:f9bea956bfece26226b7c3ee3cf57f1c41a2991110a9790db0c8a87d62f329fb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:AF3ER4DYLR5TANZ42KYCKTNPPS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using binary decision diagrams for constraint handling in combinatorial interaction testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Tatsuhiro Tsuchiya","submitted_at":"2019-07-03T07:45:58Z","abstract_excerpt":"Constraints among test parameters often have substantial effects on the performance of test case generation for combinatorial interaction testing. This paper investigates the effectiveness of the use of Binary Decision Diagrams (BDDs) for constraint handling. BDDs are a data structure used to represent and manipulate Boolean functions. The core role of a constraint handler is to perform a check to determine if a partial test case with unspecified parameter values satisfies the constraints. In the course of generating a test suite, this check is executed a number of times; thus the efficiency o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.01779","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"},"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-17T23:41:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TnfCcJxXuAEu5ogcMDRG1Kubkcgw6r6nLgmZiF3x+lMa/I45rt82PMrYy3ssH07QL+hhQCx5ZFe2Z+vg2IErAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T11:10:26.844119Z"},"content_sha256":"aae9ccad2008b5fc1f17622ebbab30c8b600d9604d2ee4be26a84dd731f7391b","schema_version":"1.0","event_id":"sha256:aae9ccad2008b5fc1f17622ebbab30c8b600d9604d2ee4be26a84dd731f7391b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AF3ER4DYLR5TANZ42KYCKTNPPS/bundle.json","state_url":"https://pith.science/pith/AF3ER4DYLR5TANZ42KYCKTNPPS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AF3ER4DYLR5TANZ42KYCKTNPPS/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-09T11:10:26Z","links":{"resolver":"https://pith.science/pith/AF3ER4DYLR5TANZ42KYCKTNPPS","bundle":"https://pith.science/pith/AF3ER4DYLR5TANZ42KYCKTNPPS/bundle.json","state":"https://pith.science/pith/AF3ER4DYLR5TANZ42KYCKTNPPS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AF3ER4DYLR5TANZ42KYCKTNPPS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:AF3ER4DYLR5TANZ42KYCKTNPPS","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":"1a9a1b05cbae08bfe02d9181f346cd5461343754a21d238aa0b24e668d81417b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T07:45:58Z","title_canon_sha256":"d1157aae5f250ebda6d92c844bc609cf81adf993b9e771419571bcf8de4ed760"},"schema_version":"1.0","source":{"id":"1907.01779","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.01779","created_at":"2026-05-17T23:41:35Z"},{"alias_kind":"arxiv_version","alias_value":"1907.01779v1","created_at":"2026-05-17T23:41:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.01779","created_at":"2026-05-17T23:41:35Z"},{"alias_kind":"pith_short_12","alias_value":"AF3ER4DYLR5T","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AF3ER4DYLR5TANZ4","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AF3ER4DY","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:aae9ccad2008b5fc1f17622ebbab30c8b600d9604d2ee4be26a84dd731f7391b","target":"graph","created_at":"2026-05-17T23:41:35Z","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":"Constraints among test parameters often have substantial effects on the performance of test case generation for combinatorial interaction testing. This paper investigates the effectiveness of the use of Binary Decision Diagrams (BDDs) for constraint handling. BDDs are a data structure used to represent and manipulate Boolean functions. The core role of a constraint handler is to perform a check to determine if a partial test case with unspecified parameter values satisfies the constraints. In the course of generating a test suite, this check is executed a number of times; thus the efficiency o","authors_text":"Tatsuhiro Tsuchiya","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T07:45:58Z","title":"Using binary decision diagrams for constraint handling in combinatorial interaction testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.01779","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:f9bea956bfece26226b7c3ee3cf57f1c41a2991110a9790db0c8a87d62f329fb","target":"record","created_at":"2026-05-17T23:41:35Z","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":"1a9a1b05cbae08bfe02d9181f346cd5461343754a21d238aa0b24e668d81417b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T07:45:58Z","title_canon_sha256":"d1157aae5f250ebda6d92c844bc609cf81adf993b9e771419571bcf8de4ed760"},"schema_version":"1.0","source":{"id":"1907.01779","kind":"arxiv","version":1}},"canonical_sha256":"017648f0785c7b30373cd2b0254daf7c89c3efab066a37dfa72f3766cf04bf53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"017648f0785c7b30373cd2b0254daf7c89c3efab066a37dfa72f3766cf04bf53","first_computed_at":"2026-05-17T23:41:35.133389Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:35.133389Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pKK9fGAR4LC6jEw0/3DSKLuUQK2+xQad1EfE95JngObJ2mszus7pHcL0o0YA/IHiE3DEYAWFShZuRZp9quevAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:35.134024Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.01779","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f9bea956bfece26226b7c3ee3cf57f1c41a2991110a9790db0c8a87d62f329fb","sha256:aae9ccad2008b5fc1f17622ebbab30c8b600d9604d2ee4be26a84dd731f7391b"],"state_sha256":"7dc56dad744ed744113341cf275acb63f1b4c4a6da7bc33b3b8d4286f927d40e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dP386p8RTXH02Gy+oTi3X6slfKOilIoZWkyQDg4DvayniqLEF0LrNThsd9WiC4POEN5Jgu5SsgqDYmIy/ZXFAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T11:10:26.845925Z","bundle_sha256":"dc02106e87062885cd584aef4a0e08e26e2a32d3645c92c0d7c486f55197c6be"}}