{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HR2CIPJXZIXC3IMWOCLAS2YV6B","short_pith_number":"pith:HR2CIPJX","canonical_record":{"source":{"id":"1804.09232","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-24T20:02:38Z","cross_cats_sorted":[],"title_canon_sha256":"8501f7899cc93955a5a4e3f9d69f42dbae6f7b9f477634fb53b49151108069c4","abstract_canon_sha256":"75c5ff9577d147997b8d3c475a839608781b0a82ed7c59250b204dc391ffd633"},"schema_version":"1.0"},"canonical_sha256":"3c74243d37ca2e2da1967096096b15f07e339ca43f0bf37e811a8a4d03e6fd68","source":{"kind":"arxiv","id":"1804.09232","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.09232","created_at":"2026-05-18T00:17:32Z"},{"alias_kind":"arxiv_version","alias_value":"1804.09232v1","created_at":"2026-05-18T00:17:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.09232","created_at":"2026-05-18T00:17:32Z"},{"alias_kind":"pith_short_12","alias_value":"HR2CIPJXZIXC","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HR2CIPJXZIXC3IMW","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HR2CIPJX","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HR2CIPJXZIXC3IMWOCLAS2YV6B","target":"record","payload":{"canonical_record":{"source":{"id":"1804.09232","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-24T20:02:38Z","cross_cats_sorted":[],"title_canon_sha256":"8501f7899cc93955a5a4e3f9d69f42dbae6f7b9f477634fb53b49151108069c4","abstract_canon_sha256":"75c5ff9577d147997b8d3c475a839608781b0a82ed7c59250b204dc391ffd633"},"schema_version":"1.0"},"canonical_sha256":"3c74243d37ca2e2da1967096096b15f07e339ca43f0bf37e811a8a4d03e6fd68","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:32.453429Z","signature_b64":"eNi0Op22JHDOT4bknv3wRLl4Rvt30uq4R76Edc+0ZMhCsnMXnutIf7HBtoCJ+9iuRmOpBfVn9lHLanVd1b0oDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c74243d37ca2e2da1967096096b15f07e339ca43f0bf37e811a8a4d03e6fd68","last_reissued_at":"2026-05-18T00:17:32.452877Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:32.452877Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.09232","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-05-18T00:17:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BP8Q01SnexsJW9r7hvGRCZ7jFsh0zh7g4e/55L846JvIG4lWaWAx+3+xpD+ad57JyPUmM8GFwuBakt8uJHh8AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:29:09.165076Z"},"content_sha256":"11489985d036c2b45b0ce242840c04671d8a13a7dad84da681ce5f676fe1db17","schema_version":"1.0","event_id":"sha256:11489985d036c2b45b0ce242840c04671d8a13a7dad84da681ce5f676fe1db17"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HR2CIPJXZIXC3IMWOCLAS2YV6B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Transferring Interactive Search-Based Software Testing to Industry","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bogdan Marculescu, Richard Torkar, Robert Feldt, Simon Poulding","submitted_at":"2018-04-24T20:02:38Z","abstract_excerpt":"Search-Based Software Testing (SBST) is the application of optimization algorithms to problems in software testing. In previous work, we have implemented and evaluated Interactive Search-Based Software Testing (ISBST) tool prototypes, with a goal to successfully transfer the technique to industry. While SBSE solutions are often validated on benchmark problems, there is a need to validate them in an operational setting. The present paper discusses the development and deployment of SBST tools for use in industry and reflects on the transfer of these techniques to industry. In addition to previou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.09232","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":""},"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-18T00:17:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FkvKg8vEOBEU+Np/T7uJKkm7NvtxPaLlywLXh8r/5Zh0VVNEnrVPi2a43hjqZPPvvsPizQqCZ39m4c0zvKRgBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:29:09.165541Z"},"content_sha256":"54e6955f7608cdde8fce82a913f4b0e36b04454d118a288ad9662e2aab331af2","schema_version":"1.0","event_id":"sha256:54e6955f7608cdde8fce82a913f4b0e36b04454d118a288ad9662e2aab331af2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HR2CIPJXZIXC3IMWOCLAS2YV6B/bundle.json","state_url":"https://pith.science/pith/HR2CIPJXZIXC3IMWOCLAS2YV6B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HR2CIPJXZIXC3IMWOCLAS2YV6B/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-05-28T16:29:09Z","links":{"resolver":"https://pith.science/pith/HR2CIPJXZIXC3IMWOCLAS2YV6B","bundle":"https://pith.science/pith/HR2CIPJXZIXC3IMWOCLAS2YV6B/bundle.json","state":"https://pith.science/pith/HR2CIPJXZIXC3IMWOCLAS2YV6B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HR2CIPJXZIXC3IMWOCLAS2YV6B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HR2CIPJXZIXC3IMWOCLAS2YV6B","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":"75c5ff9577d147997b8d3c475a839608781b0a82ed7c59250b204dc391ffd633","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-24T20:02:38Z","title_canon_sha256":"8501f7899cc93955a5a4e3f9d69f42dbae6f7b9f477634fb53b49151108069c4"},"schema_version":"1.0","source":{"id":"1804.09232","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.09232","created_at":"2026-05-18T00:17:32Z"},{"alias_kind":"arxiv_version","alias_value":"1804.09232v1","created_at":"2026-05-18T00:17:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.09232","created_at":"2026-05-18T00:17:32Z"},{"alias_kind":"pith_short_12","alias_value":"HR2CIPJXZIXC","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HR2CIPJXZIXC3IMW","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HR2CIPJX","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:54e6955f7608cdde8fce82a913f4b0e36b04454d118a288ad9662e2aab331af2","target":"graph","created_at":"2026-05-18T00:17:32Z","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":"Search-Based Software Testing (SBST) is the application of optimization algorithms to problems in software testing. In previous work, we have implemented and evaluated Interactive Search-Based Software Testing (ISBST) tool prototypes, with a goal to successfully transfer the technique to industry. While SBSE solutions are often validated on benchmark problems, there is a need to validate them in an operational setting. The present paper discusses the development and deployment of SBST tools for use in industry and reflects on the transfer of these techniques to industry. In addition to previou","authors_text":"Bogdan Marculescu, Richard Torkar, Robert Feldt, Simon Poulding","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-24T20:02:38Z","title":"Transferring Interactive Search-Based Software Testing to Industry"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.09232","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:11489985d036c2b45b0ce242840c04671d8a13a7dad84da681ce5f676fe1db17","target":"record","created_at":"2026-05-18T00:17:32Z","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":"75c5ff9577d147997b8d3c475a839608781b0a82ed7c59250b204dc391ffd633","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-04-24T20:02:38Z","title_canon_sha256":"8501f7899cc93955a5a4e3f9d69f42dbae6f7b9f477634fb53b49151108069c4"},"schema_version":"1.0","source":{"id":"1804.09232","kind":"arxiv","version":1}},"canonical_sha256":"3c74243d37ca2e2da1967096096b15f07e339ca43f0bf37e811a8a4d03e6fd68","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c74243d37ca2e2da1967096096b15f07e339ca43f0bf37e811a8a4d03e6fd68","first_computed_at":"2026-05-18T00:17:32.452877Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:32.452877Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eNi0Op22JHDOT4bknv3wRLl4Rvt30uq4R76Edc+0ZMhCsnMXnutIf7HBtoCJ+9iuRmOpBfVn9lHLanVd1b0oDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:32.453429Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.09232","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11489985d036c2b45b0ce242840c04671d8a13a7dad84da681ce5f676fe1db17","sha256:54e6955f7608cdde8fce82a913f4b0e36b04454d118a288ad9662e2aab331af2"],"state_sha256":"b8485caa74d8bc7f7dddfd550a600e557606a4b6f618e1b9d3697f0a7fc201d9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mRqbATtEEh8q41xSMmn9GsqiwIIyhu/fzLOtgMbX1mNqAvTIng3O4xyEY4n5c8qi7bdJdGdaSBeoGD79DaBaCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T16:29:09.168093Z","bundle_sha256":"04887fe491e79dd5cceae0d2d6ed7f29c90bb7e00aa904bff78c0aa0bfeb3a9d"}}