{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:U3YBCFWEVKG5WSE5LMZWQLLXBW","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":"4c907e9e97a96404de6ea4bc4b548d718fee08df6a62af04940b1c7aea8b53e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-10-06T12:13:58Z","title_canon_sha256":"652e0fcefbdc4c68729bc8f1a67a37c3b6972017d0033bd8c4a08d256a4b5309"},"schema_version":"1.0","source":{"id":"2110.02682","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.02682","created_at":"2026-07-05T03:20:28Z"},{"alias_kind":"arxiv_version","alias_value":"2110.02682v1","created_at":"2026-07-05T03:20:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.02682","created_at":"2026-07-05T03:20:28Z"},{"alias_kind":"pith_short_12","alias_value":"U3YBCFWEVKG5","created_at":"2026-07-05T03:20:28Z"},{"alias_kind":"pith_short_16","alias_value":"U3YBCFWEVKG5WSE5","created_at":"2026-07-05T03:20:28Z"},{"alias_kind":"pith_short_8","alias_value":"U3YBCFWE","created_at":"2026-07-05T03:20:28Z"}],"graph_snapshots":[{"event_id":"sha256:b7288c11b6efc11d836e477c41b4a54f22dea3e1769d2e71ba7ba35e4a75871a","target":"graph","created_at":"2026-07-05T03:20:28Z","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/2110.02682/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Defect predictors, static bug detectors and humans inspecting the code can locate the parts of the program that are buggy before they are discovered through testing. Automated test generators such as search-based software testing (SBST) techniques can use this information to direct their search for test cases to likely buggy code, thus speeding up the process of detecting existing bugs. However, often the predictions given by these tools or humans are imprecise, which can misguide the SBST technique and may deteriorate its performance. In this paper, we study the impact of imprecision in defec","authors_text":"(2) Faculty of Information Technology, 3) ((1) Faculty of Information Technology, (3) Max Planck Institute for Security, Aldeida Aleti (1), Anjana Perera (1), Australia, Burak Turhan (2), Electrical Engineering, Finland, Germany), Marcel B\\\"ohme (1, Melbourne, Monash University, Oulu, Privacy (MPI-SP), University of Oulu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-10-06T12:13:58Z","title":"How good does a Defect Predictor need to be to guide Search-Based Software Testing?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.02682","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:0c901a39a4939ce93f6505db15e9919d22a3cf88934ca7f305feccd6ca3aa188","target":"record","created_at":"2026-07-05T03:20:28Z","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":"4c907e9e97a96404de6ea4bc4b548d718fee08df6a62af04940b1c7aea8b53e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-10-06T12:13:58Z","title_canon_sha256":"652e0fcefbdc4c68729bc8f1a67a37c3b6972017d0033bd8c4a08d256a4b5309"},"schema_version":"1.0","source":{"id":"2110.02682","kind":"arxiv","version":1}},"canonical_sha256":"a6f01116c4aa8ddb489d5b33682d770dbf3359e9c6b6b0b579339a40ef79f375","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6f01116c4aa8ddb489d5b33682d770dbf3359e9c6b6b0b579339a40ef79f375","first_computed_at":"2026-07-05T03:20:28.882102Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:20:28.882102Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Hsk2pSH3sKx1ABwPVImW1fMZriSvC9PtALk2PRXq0TILiWmkNi4aXjgL7NbDLPqE1JVO4do4pPMo9aSz/zwoDw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:20:28.882481Z","signed_message":"canonical_sha256_bytes"},"source_id":"2110.02682","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c901a39a4939ce93f6505db15e9919d22a3cf88934ca7f305feccd6ca3aa188","sha256:b7288c11b6efc11d836e477c41b4a54f22dea3e1769d2e71ba7ba35e4a75871a"],"state_sha256":"42e85d4ea841294eac47944029322a8c7158ba20c7dce6047cde261a28e31c8f"}