{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WHLGJPYHQK5OOOQ6VHPIRRCBM4","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":"31528953d64f268256b219e4a70bbe03440940317331d4133999ed12d0ac8878","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-24T15:29:07Z","title_canon_sha256":"d540b0d3f7015ae3d583c36ee9b548c3aa197357524f2e9af9ec196a7d9f915a"},"schema_version":"1.0","source":{"id":"1808.08174","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08174","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08174v1","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08174","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"pith_short_12","alias_value":"WHLGJPYHQK5O","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WHLGJPYHQK5OOOQ6","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WHLGJPYH","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:b72d7a4e49968a42e0eb735a846844d98c9d258173b9bf3703d27e8ee2c1b287","target":"graph","created_at":"2026-05-18T00:07:22Z","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":"Test suite reduction (TSR) aims at removing redundant test cases from regression test suites. A typical TSR approach ensures that structural profile elements covered by the original test suite are also covered by the reduced test suite. It is plausible that structural profiles might be unable to segregate failing runs from passing runs, which diminishes the effectiveness of TSR in regard to defect detection. This motivated us to explore state profiles, which are based on the collective values of program variables. This paper presents Substate Profiling, a new form of state profiling that enhan","authors_text":"Chadi Trad, Rawad Abou Assi, Wes Masri","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-24T15:29:07Z","title":"Substate Profiling for Effective Test Suite Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08174","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:7670367630d59ed3e53baf8ce83ec210ddacbae493d80727db9049235bb10adb","target":"record","created_at":"2026-05-18T00:07:22Z","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":"31528953d64f268256b219e4a70bbe03440940317331d4133999ed12d0ac8878","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-24T15:29:07Z","title_canon_sha256":"d540b0d3f7015ae3d583c36ee9b548c3aa197357524f2e9af9ec196a7d9f915a"},"schema_version":"1.0","source":{"id":"1808.08174","kind":"arxiv","version":1}},"canonical_sha256":"b1d664bf0782bae73a1ea9de88c441672519b636f48731f34fecdb8ca0546de8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b1d664bf0782bae73a1ea9de88c441672519b636f48731f34fecdb8ca0546de8","first_computed_at":"2026-05-18T00:07:22.191783Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:22.191783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ol3AG6wP2x+RAI4DrbrGgpXtgLrKAKa4O8UAkEzGBQTZ0JUvOoIIDK1B5yd4htgRFL+Hg+nfv19q8/Dnr3eXBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:22.192518Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.08174","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7670367630d59ed3e53baf8ce83ec210ddacbae493d80727db9049235bb10adb","sha256:b72d7a4e49968a42e0eb735a846844d98c9d258173b9bf3703d27e8ee2c1b287"],"state_sha256":"befbdfb73a6dad8d7e609e81d4147acc3c176c2f7255920af7e3ce7b0ec9f993"}