{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:WTUSDK6UH2EHPFDN3D3XB6OW2T","short_pith_number":"pith:WTUSDK6U","canonical_record":{"source":{"id":"1908.02480","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-07T08:07:21Z","cross_cats_sorted":[],"title_canon_sha256":"97fa595a58ba29d2d408d1060973ab89b66ba4157269d1d4a3b65871b9278485","abstract_canon_sha256":"0d787402d8c426ec6b9c74c59f79d12a50d617ba46218774ac36b918e588b6f3"},"schema_version":"1.0"},"canonical_sha256":"b4e921abd43e8877946dd8f770f9d6d4eeb478b783ca1650d5ed0296529862fc","source":{"kind":"arxiv","id":"1908.02480","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.02480","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"arxiv_version","alias_value":"1908.02480v1","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02480","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"pith_short_12","alias_value":"WTUSDK6UH2EH","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"pith_short_16","alias_value":"WTUSDK6UH2EHPFDN","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"pith_short_8","alias_value":"WTUSDK6U","created_at":"2026-07-04T23:52:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:WTUSDK6UH2EHPFDN3D3XB6OW2T","target":"record","payload":{"canonical_record":{"source":{"id":"1908.02480","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-07T08:07:21Z","cross_cats_sorted":[],"title_canon_sha256":"97fa595a58ba29d2d408d1060973ab89b66ba4157269d1d4a3b65871b9278485","abstract_canon_sha256":"0d787402d8c426ec6b9c74c59f79d12a50d617ba46218774ac36b918e588b6f3"},"schema_version":"1.0"},"canonical_sha256":"b4e921abd43e8877946dd8f770f9d6d4eeb478b783ca1650d5ed0296529862fc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:52:09.373644Z","signature_b64":"ebmrJOZSZhT1xiY+A5XtuVxZxcY2pO4hkhHyYwxEbIdPs0ampY2eBXnjhGvGzcxmKdOjMZVhW9WGeBzVtD6vBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b4e921abd43e8877946dd8f770f9d6d4eeb478b783ca1650d5ed0296529862fc","last_reissued_at":"2026-07-04T23:52:09.373206Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:52:09.373206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.02480","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-04T23:52:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gtPFLSGZshdpEMt7NgmIOCCZLYHqsabmJM971ACP25aJNfgFs5ZAMbysCwM7jYflMC6xt7KLpsj6GaIqEwepCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T05:07:00.537154Z"},"content_sha256":"85e91eb96a646632e1d5d1fcb4f87c4fb58ca15a103a0bb01d81466dbc4adc80","schema_version":"1.0","event_id":"sha256:85e91eb96a646632e1d5d1fcb4f87c4fb58ca15a103a0bb01d81466dbc4adc80"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:WTUSDK6UH2EHPFDN3D3XB6OW2T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Survey of Constrained Combinatorial Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Changhai Nie, Huayao Wu, Justyna Petke, Mark Harman, Yue Jia","submitted_at":"2019-08-07T08:07:21Z","abstract_excerpt":"Combinatorial Testing (CT) is a potentially powerful testing technique, whereas its failure revealing ability might be dramatically reduced if it fails to handle constraints in an adequate and efficient manner. To ensure the wider applicability of CT in the presence of constrained problem domains, large and diverse efforts have been invested towards the techniques and applications of constrained combinatorial testing. In this paper, we provide a comprehensive survey of representations, influences, and techniques that pertain to constraints in CT, covering 129 papers published between 1987 and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02480","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/1908.02480/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-04T23:52:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5oAlWYX3b2qcOLC5M1nXLblkYBtNiWaAsSubJe2vpICaC++v6KWhqIarjmvwhrdDBkTyfzLKh+W+pg8qwIUBDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T05:07:00.537976Z"},"content_sha256":"9ad9a6a7ee12fd8de7fd3b0a3077517aa7398d46758e3f6d03d9a630d4131284","schema_version":"1.0","event_id":"sha256:9ad9a6a7ee12fd8de7fd3b0a3077517aa7398d46758e3f6d03d9a630d4131284"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WTUSDK6UH2EHPFDN3D3XB6OW2T/bundle.json","state_url":"https://pith.science/pith/WTUSDK6UH2EHPFDN3D3XB6OW2T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WTUSDK6UH2EHPFDN3D3XB6OW2T/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-05T05:07:00Z","links":{"resolver":"https://pith.science/pith/WTUSDK6UH2EHPFDN3D3XB6OW2T","bundle":"https://pith.science/pith/WTUSDK6UH2EHPFDN3D3XB6OW2T/bundle.json","state":"https://pith.science/pith/WTUSDK6UH2EHPFDN3D3XB6OW2T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WTUSDK6UH2EHPFDN3D3XB6OW2T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WTUSDK6UH2EHPFDN3D3XB6OW2T","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":"0d787402d8c426ec6b9c74c59f79d12a50d617ba46218774ac36b918e588b6f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-07T08:07:21Z","title_canon_sha256":"97fa595a58ba29d2d408d1060973ab89b66ba4157269d1d4a3b65871b9278485"},"schema_version":"1.0","source":{"id":"1908.02480","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.02480","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"arxiv_version","alias_value":"1908.02480v1","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02480","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"pith_short_12","alias_value":"WTUSDK6UH2EH","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"pith_short_16","alias_value":"WTUSDK6UH2EHPFDN","created_at":"2026-07-04T23:52:09Z"},{"alias_kind":"pith_short_8","alias_value":"WTUSDK6U","created_at":"2026-07-04T23:52:09Z"}],"graph_snapshots":[{"event_id":"sha256:9ad9a6a7ee12fd8de7fd3b0a3077517aa7398d46758e3f6d03d9a630d4131284","target":"graph","created_at":"2026-07-04T23:52:09Z","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/1908.02480/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Combinatorial Testing (CT) is a potentially powerful testing technique, whereas its failure revealing ability might be dramatically reduced if it fails to handle constraints in an adequate and efficient manner. To ensure the wider applicability of CT in the presence of constrained problem domains, large and diverse efforts have been invested towards the techniques and applications of constrained combinatorial testing. In this paper, we provide a comprehensive survey of representations, influences, and techniques that pertain to constraints in CT, covering 129 papers published between 1987 and ","authors_text":"Changhai Nie, Huayao Wu, Justyna Petke, Mark Harman, Yue Jia","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-07T08:07:21Z","title":"A Survey of Constrained Combinatorial Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02480","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:85e91eb96a646632e1d5d1fcb4f87c4fb58ca15a103a0bb01d81466dbc4adc80","target":"record","created_at":"2026-07-04T23:52:09Z","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":"0d787402d8c426ec6b9c74c59f79d12a50d617ba46218774ac36b918e588b6f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-07T08:07:21Z","title_canon_sha256":"97fa595a58ba29d2d408d1060973ab89b66ba4157269d1d4a3b65871b9278485"},"schema_version":"1.0","source":{"id":"1908.02480","kind":"arxiv","version":1}},"canonical_sha256":"b4e921abd43e8877946dd8f770f9d6d4eeb478b783ca1650d5ed0296529862fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b4e921abd43e8877946dd8f770f9d6d4eeb478b783ca1650d5ed0296529862fc","first_computed_at":"2026-07-04T23:52:09.373206Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:52:09.373206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ebmrJOZSZhT1xiY+A5XtuVxZxcY2pO4hkhHyYwxEbIdPs0ampY2eBXnjhGvGzcxmKdOjMZVhW9WGeBzVtD6vBg==","signature_status":"signed_v1","signed_at":"2026-07-04T23:52:09.373644Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.02480","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85e91eb96a646632e1d5d1fcb4f87c4fb58ca15a103a0bb01d81466dbc4adc80","sha256:9ad9a6a7ee12fd8de7fd3b0a3077517aa7398d46758e3f6d03d9a630d4131284"],"state_sha256":"e63db8a33496ce09e16f7af26f8de7c3b6b3341699e3a69f86d7afa81fcbfd1c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k3zdu65CNfCzccW+AiXmSzDMUW6AWrVRo02rixCyI2GjonQMmWRdnbTMxCY1XCvuWrT2VYRuEb7Ig8hB0BHlDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T05:07:00.544218Z","bundle_sha256":"019dfbdcf52c25cb59bcdfdebfcedd3574b92d3f07fce4b9e7e752d30a4164f2"}}