{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RLJCQTV7FDKH3F4LF7PXVVUJOG","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":"7f5046d1fb1ce94f67156e26dcf6b3b5625b2237d4d84346022fbf64730c6abc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-12-19T18:01:06Z","title_canon_sha256":"86b58e42077c8890acb2b5c2a1bfbb5f1e2c775a59a2cfd539adb00f0a955085"},"schema_version":"1.0","source":{"id":"1712.07081","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.07081","created_at":"2026-05-18T00:27:37Z"},{"alias_kind":"arxiv_version","alias_value":"1712.07081v1","created_at":"2026-05-18T00:27:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.07081","created_at":"2026-05-18T00:27:37Z"},{"alias_kind":"pith_short_12","alias_value":"RLJCQTV7FDKH","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RLJCQTV7FDKH3F4L","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RLJCQTV7","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:17059d6a6a7d3a9449698c0986ead6fab6c36ecf52bd10bc7927de6fbc0afc87","target":"graph","created_at":"2026-05-18T00:27:37Z","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":"This paper proposes a novel column generation framework for combinatorial software testing. In particular, it combines Mathematical Programming and Constraint Programming in a hybrid decomposition to generate covering arrays. The approach allows generating parameterized test cases with coverage guarantees between parameter interactions of a given application. Compared to exhaustive testing, combinatorial test case generation reduces the number of tests to run significantly. Our column generation algorithm is generic and can accommodate mixed coverage arrays over heterogeneous alphabets. The al","authors_text":"Serdar Kadioglu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-12-19T18:01:06Z","title":"Column Generation for Interaction Coverage in Combinatorial Software Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.07081","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:369f6f356fc8aea05f356a6237b1a8ed035e0ed78804d9afd21bdec308f7ac17","target":"record","created_at":"2026-05-18T00:27:37Z","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":"7f5046d1fb1ce94f67156e26dcf6b3b5625b2237d4d84346022fbf64730c6abc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-12-19T18:01:06Z","title_canon_sha256":"86b58e42077c8890acb2b5c2a1bfbb5f1e2c775a59a2cfd539adb00f0a955085"},"schema_version":"1.0","source":{"id":"1712.07081","kind":"arxiv","version":1}},"canonical_sha256":"8ad2284ebf28d47d978b2fdf7ad68971ac0f58096aeec9801110db6b4961b81c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ad2284ebf28d47d978b2fdf7ad68971ac0f58096aeec9801110db6b4961b81c","first_computed_at":"2026-05-18T00:27:37.238688Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:27:37.238688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DsDGpksMyfsgCUGK5Wf7drJQHEXVkk0GID9wO09CVnZWmo90etp9OsQx5p60a0vTh10w5enDgKIlo6WbQ9wpCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:27:37.239421Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.07081","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:369f6f356fc8aea05f356a6237b1a8ed035e0ed78804d9afd21bdec308f7ac17","sha256:17059d6a6a7d3a9449698c0986ead6fab6c36ecf52bd10bc7927de6fbc0afc87"],"state_sha256":"b72bb3ac507b5c237289f14972ff1123e65ecede6e040eb1d0b558f8014b31d5"}