{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:DCX3WZ7GKIATZUW5HWWAR5GI2I","short_pith_number":"pith:DCX3WZ7G","canonical_record":{"source":{"id":"1801.06041","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-06T02:05:05Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"29ddb40502aeae56d6199a8a01d9fb3c86efee221b4c09ca3555d4adb536b581","abstract_canon_sha256":"680bcec9099946be51964bbf14640f28cb9086c0836e1cbc88eceab3b240e039"},"schema_version":"1.0"},"canonical_sha256":"18afbb67e652013cd2dd3dac08f4c8d22e4caee9cfb4ff3895c07a6d0940e276","source":{"kind":"arxiv","id":"1801.06041","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.06041","created_at":"2026-05-17T23:44:38Z"},{"alias_kind":"arxiv_version","alias_value":"1801.06041v2","created_at":"2026-05-17T23:44:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.06041","created_at":"2026-05-17T23:44:38Z"},{"alias_kind":"pith_short_12","alias_value":"DCX3WZ7GKIAT","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DCX3WZ7GKIATZUW5","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DCX3WZ7G","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:DCX3WZ7GKIATZUW5HWWAR5GI2I","target":"record","payload":{"canonical_record":{"source":{"id":"1801.06041","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-06T02:05:05Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"29ddb40502aeae56d6199a8a01d9fb3c86efee221b4c09ca3555d4adb536b581","abstract_canon_sha256":"680bcec9099946be51964bbf14640f28cb9086c0836e1cbc88eceab3b240e039"},"schema_version":"1.0"},"canonical_sha256":"18afbb67e652013cd2dd3dac08f4c8d22e4caee9cfb4ff3895c07a6d0940e276","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:38.318657Z","signature_b64":"csajKoYHddggrkjnm5LgeZ/0MLD9CwOOg8U396B8o5QU3cFvWEgMIrEDlvNyqmf1pjd5qCOMJebVD6Ol9s7YAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"18afbb67e652013cd2dd3dac08f4c8d22e4caee9cfb4ff3895c07a6d0940e276","last_reissued_at":"2026-05-17T23:44:38.318194Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:38.318194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.06041","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-17T23:44:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cuuS1WwnPLPA2ryP2+rnbZeG3+K4TQRsieVPX2hEEkiE/h1GN0ahPK3HCAiCAskB8GH1lD+tUtaHxyDSLcqeCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T10:14:43.426690Z"},"content_sha256":"11f32822be76d575b1b2f997eb8bb70c38de7856a17e42f8b756c855e498e7b7","schema_version":"1.0","event_id":"sha256:11f32822be76d575b1b2f997eb8bb70c38de7856a17e42f8b756c855e498e7b7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:DCX3WZ7GKIATZUW5HWWAR5GI2I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constrained locating arrays for combinatorial interaction testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.SE","authors_text":"Hao Jin, Tatsuhiro Tsuchiya","submitted_at":"2017-12-06T02:05:05Z","abstract_excerpt":"This paper introduces the notion of Constrained Locating Arrays (CLAs), mathematical objects which can be used for fault localization in software testing. CLAs extend ordinary locating arrays to make them applicable to testing of systems that have constraints on test parameters. Such constraints are common in real-world systems; thus CLA enhances the applicability of locating arrays to practical testing problems. The paper also proposes an algorithm for constructing CLAs. Experimental results show that the proposed algorithm scales to problems of practical sizes."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.06041","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-17T23:44:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BSl9Ja7OQB8m1G8m/CHi2h5jO6HLjKME/1S3uN+fWWlE/e+mwCuuKkxVSfxP6w2z2u2BN1ke1OIUy3tjm+3dCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T10:14:43.427388Z"},"content_sha256":"dcaa20c3eed30ca5f6d216d0c5d4445af5a7baa344b5a451a242983df1c84548","schema_version":"1.0","event_id":"sha256:dcaa20c3eed30ca5f6d216d0c5d4445af5a7baa344b5a451a242983df1c84548"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DCX3WZ7GKIATZUW5HWWAR5GI2I/bundle.json","state_url":"https://pith.science/pith/DCX3WZ7GKIATZUW5HWWAR5GI2I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DCX3WZ7GKIATZUW5HWWAR5GI2I/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-09T10:14:43Z","links":{"resolver":"https://pith.science/pith/DCX3WZ7GKIATZUW5HWWAR5GI2I","bundle":"https://pith.science/pith/DCX3WZ7GKIATZUW5HWWAR5GI2I/bundle.json","state":"https://pith.science/pith/DCX3WZ7GKIATZUW5HWWAR5GI2I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DCX3WZ7GKIATZUW5HWWAR5GI2I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:DCX3WZ7GKIATZUW5HWWAR5GI2I","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":"680bcec9099946be51964bbf14640f28cb9086c0836e1cbc88eceab3b240e039","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-06T02:05:05Z","title_canon_sha256":"29ddb40502aeae56d6199a8a01d9fb3c86efee221b4c09ca3555d4adb536b581"},"schema_version":"1.0","source":{"id":"1801.06041","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.06041","created_at":"2026-05-17T23:44:38Z"},{"alias_kind":"arxiv_version","alias_value":"1801.06041v2","created_at":"2026-05-17T23:44:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.06041","created_at":"2026-05-17T23:44:38Z"},{"alias_kind":"pith_short_12","alias_value":"DCX3WZ7GKIAT","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DCX3WZ7GKIATZUW5","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DCX3WZ7G","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:dcaa20c3eed30ca5f6d216d0c5d4445af5a7baa344b5a451a242983df1c84548","target":"graph","created_at":"2026-05-17T23:44:38Z","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 introduces the notion of Constrained Locating Arrays (CLAs), mathematical objects which can be used for fault localization in software testing. CLAs extend ordinary locating arrays to make them applicable to testing of systems that have constraints on test parameters. Such constraints are common in real-world systems; thus CLA enhances the applicability of locating arrays to practical testing problems. The paper also proposes an algorithm for constructing CLAs. Experimental results show that the proposed algorithm scales to problems of practical sizes.","authors_text":"Hao Jin, Tatsuhiro Tsuchiya","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-06T02:05:05Z","title":"Constrained locating arrays for combinatorial interaction testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.06041","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:11f32822be76d575b1b2f997eb8bb70c38de7856a17e42f8b756c855e498e7b7","target":"record","created_at":"2026-05-17T23:44:38Z","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":"680bcec9099946be51964bbf14640f28cb9086c0836e1cbc88eceab3b240e039","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-06T02:05:05Z","title_canon_sha256":"29ddb40502aeae56d6199a8a01d9fb3c86efee221b4c09ca3555d4adb536b581"},"schema_version":"1.0","source":{"id":"1801.06041","kind":"arxiv","version":2}},"canonical_sha256":"18afbb67e652013cd2dd3dac08f4c8d22e4caee9cfb4ff3895c07a6d0940e276","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"18afbb67e652013cd2dd3dac08f4c8d22e4caee9cfb4ff3895c07a6d0940e276","first_computed_at":"2026-05-17T23:44:38.318194Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:38.318194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"csajKoYHddggrkjnm5LgeZ/0MLD9CwOOg8U396B8o5QU3cFvWEgMIrEDlvNyqmf1pjd5qCOMJebVD6Ol9s7YAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:38.318657Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.06041","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11f32822be76d575b1b2f997eb8bb70c38de7856a17e42f8b756c855e498e7b7","sha256:dcaa20c3eed30ca5f6d216d0c5d4445af5a7baa344b5a451a242983df1c84548"],"state_sha256":"6e4ad9c185cfdb3bd27ba9e13d45357dfec0f3f7fa06a5ba81dc889ccd0d187a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KdpMSrWv7A8cqxbrSO5WvuNJrYEV4cBBTF+8lAzsc/VvPVgNKaDIfL++nd2IYm6TDrCBqsHfz/2pfhgsawlbCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T10:14:43.430754Z","bundle_sha256":"94d4287e706b338b892904e51fbf43e33476765b0a9fe1b74c4ee497a6ae4eca"}}