{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:Z7ZQCSCLZ43NWDCNF4V6O32DZC","short_pith_number":"pith:Z7ZQCSCL","canonical_record":{"source":{"id":"2401.15189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T20:21:15Z","cross_cats_sorted":[],"title_canon_sha256":"3d491c109fbb952fc77941d35763422fc8115c4f0f55081ba299e78e7b8a5627","abstract_canon_sha256":"f1bd6cc339bb42cd27c7744505d4bc35d2eb1295bc1fbd5797bee4e75cbfe046"},"schema_version":"1.0"},"canonical_sha256":"cff301484bcf36db0c4d2f2be76f43c887ef21881c48a2f9a7b4d1732840afa1","source":{"kind":"arxiv","id":"2401.15189","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.15189","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"arxiv_version","alias_value":"2401.15189v1","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.15189","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"pith_short_12","alias_value":"Z7ZQCSCLZ43N","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"pith_short_16","alias_value":"Z7ZQCSCLZ43NWDCN","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"pith_short_8","alias_value":"Z7ZQCSCL","created_at":"2026-07-05T07:38:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:Z7ZQCSCLZ43NWDCNF4V6O32DZC","target":"record","payload":{"canonical_record":{"source":{"id":"2401.15189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T20:21:15Z","cross_cats_sorted":[],"title_canon_sha256":"3d491c109fbb952fc77941d35763422fc8115c4f0f55081ba299e78e7b8a5627","abstract_canon_sha256":"f1bd6cc339bb42cd27c7744505d4bc35d2eb1295bc1fbd5797bee4e75cbfe046"},"schema_version":"1.0"},"canonical_sha256":"cff301484bcf36db0c4d2f2be76f43c887ef21881c48a2f9a7b4d1732840afa1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:38:12.770278Z","signature_b64":"zXYtGZBKZU3C8dQqn1UJ/SOYcBvk5Ajq5+m4sJEaO5mnNZf8T3ryTc4tLmQ7AGY5p/cd/u0jHDVKgijsKAsDDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cff301484bcf36db0c4d2f2be76f43c887ef21881c48a2f9a7b4d1732840afa1","last_reissued_at":"2026-07-05T07:38:12.769738Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:38:12.769738Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.15189","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-07-05T07:38:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OVA67aILnKoBC3m5ontTLa00L8bZfUovg69kngaruxD3SmtcocRS7voQ3HpgIH2jkjqv7nsOru5Dq4qpPwVrDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T23:08:13.843554Z"},"content_sha256":"0944363894c070f541df501ec528f257368615feaa7a6bac173bcd0f49a9b1fa","schema_version":"1.0","event_id":"sha256:0944363894c070f541df501ec528f257368615feaa7a6bac173bcd0f49a9b1fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:Z7ZQCSCLZ43NWDCNF4V6O32DZC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SBFT Tool Competition 2024 -- Python Test Case Generation Track","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Al-Ameen Mohammed Ali Mohammed, Christian Birchler, Nicolas Erni, Pouria Derakhshanfar, Sebastiano Panichella, Stephan Lukasczyk","submitted_at":"2024-01-26T20:21:15Z","abstract_excerpt":"Test case generation (TCG) for Python poses distinctive challenges due to the language's dynamic nature and the absence of strict type information. Previous research has successfully explored automated unit TCG for Python, with solutions outperforming random test generation methods. Nevertheless, fundamental issues persist, hindering the practical adoption of existing test case generators. To address these challenges, we report on the organization, challenges, and results of the first edition of the Python Testing Competition. Four tools, namely UTBotPython, Klara, Hypothesis Ghostwriter, and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.15189","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2401.15189/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T07:38:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qqx80KMkN0R58FQsaRFYBq07DOPA478aQDlTC05b9z4g8adUpIYAaDlC2oxwYc0OK9kiU1nXImTLnqD8SGR5BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T23:08:13.844064Z"},"content_sha256":"e0fb3d10f6e4372d5b9fcdacdffdc364272cb46b51a425a8e5d47c5c9459ca1f","schema_version":"1.0","event_id":"sha256:e0fb3d10f6e4372d5b9fcdacdffdc364272cb46b51a425a8e5d47c5c9459ca1f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z7ZQCSCLZ43NWDCNF4V6O32DZC/bundle.json","state_url":"https://pith.science/pith/Z7ZQCSCLZ43NWDCNF4V6O32DZC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z7ZQCSCLZ43NWDCNF4V6O32DZC/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-08-09T23:08:13Z","links":{"resolver":"https://pith.science/pith/Z7ZQCSCLZ43NWDCNF4V6O32DZC","bundle":"https://pith.science/pith/Z7ZQCSCLZ43NWDCNF4V6O32DZC/bundle.json","state":"https://pith.science/pith/Z7ZQCSCLZ43NWDCNF4V6O32DZC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z7ZQCSCLZ43NWDCNF4V6O32DZC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:Z7ZQCSCLZ43NWDCNF4V6O32DZC","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":"f1bd6cc339bb42cd27c7744505d4bc35d2eb1295bc1fbd5797bee4e75cbfe046","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T20:21:15Z","title_canon_sha256":"3d491c109fbb952fc77941d35763422fc8115c4f0f55081ba299e78e7b8a5627"},"schema_version":"1.0","source":{"id":"2401.15189","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.15189","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"arxiv_version","alias_value":"2401.15189v1","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.15189","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"pith_short_12","alias_value":"Z7ZQCSCLZ43N","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"pith_short_16","alias_value":"Z7ZQCSCLZ43NWDCN","created_at":"2026-07-05T07:38:12Z"},{"alias_kind":"pith_short_8","alias_value":"Z7ZQCSCL","created_at":"2026-07-05T07:38:12Z"}],"graph_snapshots":[{"event_id":"sha256:e0fb3d10f6e4372d5b9fcdacdffdc364272cb46b51a425a8e5d47c5c9459ca1f","target":"graph","created_at":"2026-07-05T07:38:12Z","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/2401.15189/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Test case generation (TCG) for Python poses distinctive challenges due to the language's dynamic nature and the absence of strict type information. Previous research has successfully explored automated unit TCG for Python, with solutions outperforming random test generation methods. Nevertheless, fundamental issues persist, hindering the practical adoption of existing test case generators. To address these challenges, we report on the organization, challenges, and results of the first edition of the Python Testing Competition. Four tools, namely UTBotPython, Klara, Hypothesis Ghostwriter, and ","authors_text":"Al-Ameen Mohammed Ali Mohammed, Christian Birchler, Nicolas Erni, Pouria Derakhshanfar, Sebastiano Panichella, Stephan Lukasczyk","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T20:21:15Z","title":"SBFT Tool Competition 2024 -- Python Test Case Generation Track"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.15189","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:0944363894c070f541df501ec528f257368615feaa7a6bac173bcd0f49a9b1fa","target":"record","created_at":"2026-07-05T07:38:12Z","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":"f1bd6cc339bb42cd27c7744505d4bc35d2eb1295bc1fbd5797bee4e75cbfe046","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-26T20:21:15Z","title_canon_sha256":"3d491c109fbb952fc77941d35763422fc8115c4f0f55081ba299e78e7b8a5627"},"schema_version":"1.0","source":{"id":"2401.15189","kind":"arxiv","version":1}},"canonical_sha256":"cff301484bcf36db0c4d2f2be76f43c887ef21881c48a2f9a7b4d1732840afa1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cff301484bcf36db0c4d2f2be76f43c887ef21881c48a2f9a7b4d1732840afa1","first_computed_at":"2026-07-05T07:38:12.769738Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:38:12.769738Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zXYtGZBKZU3C8dQqn1UJ/SOYcBvk5Ajq5+m4sJEaO5mnNZf8T3ryTc4tLmQ7AGY5p/cd/u0jHDVKgijsKAsDDw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:38:12.770278Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.15189","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0944363894c070f541df501ec528f257368615feaa7a6bac173bcd0f49a9b1fa","sha256:e0fb3d10f6e4372d5b9fcdacdffdc364272cb46b51a425a8e5d47c5c9459ca1f"],"state_sha256":"6a6ca343b06f5689e84686df11d1a05d6161b109bb9168cf8ae097a81d8ac513"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5ouzYzHGn+5RvSbEutZlYZRMRftw5+FOZpbl10kECQcNavG1A0UZGRbFHFwhv1BeOOK7lna5vRSaijoorWc6DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T23:08:13.849430Z","bundle_sha256":"5c841518afe177481368a504f9eabdca5175337ba608649e2e68f72b41655f07"}}