{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:M3QSQLEWIVASO2HZ4FC6ZTNR5U","short_pith_number":"pith:M3QSQLEW","schema_version":"1.0","canonical_sha256":"66e1282c9645412768f9e145eccdb1ed071968adba38e34777f4977f6807e01a","source":{"kind":"arxiv","id":"2605.20788","version":1},"attestation_state":"computed","paper":{"title":"BioDefect: The First Dataset for Defect Detection in Bioinformatics Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hangyu Cheng, Jiayin Wang, Tianxiang Xu, Xiaoyan Zhu, Xin Lai, Xin Lian","submitted_at":"2026-05-20T06:34:22Z","abstract_excerpt":"Software defect detection is a critical task in software engineering. However, no prior studies have specifically addressed defect detection in bioinformatics software. Given that the performance of defect detection tasks is primarily influenced by both models and datasets, our experiments controlled for model-related factors and confirmed the limitations of existing datasets in bioinformatics software. To address this issue, we introduce BioDefect, the first dataset specifically designed for defect detection in bioinformatics software, aiming to overcome the limitations of existing datasets i"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.20788","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-20T06:34:22Z","cross_cats_sorted":[],"title_canon_sha256":"021c18d99b4e85af022f2bcb0a6655a1e2c9cbb392a8180815a554b082d4d0da","abstract_canon_sha256":"b04e5ff04bf1b47a6f30ee566fdbc91e054314e24cd26a94f6225e70df864005"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-21T01:04:54.443200Z","signature_b64":"4ZwaZIQtpF2gVSmTccA8rgHFUCxtr94+ldRk6y7suztnJeb37YDMgNT0D4Y8uPhWxmWuP1yNLlE/9M9w79ISDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"66e1282c9645412768f9e145eccdb1ed071968adba38e34777f4977f6807e01a","last_reissued_at":"2026-05-21T01:04:54.442383Z","signature_status":"signed_v1","first_computed_at":"2026-05-21T01:04:54.442383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"BioDefect: The First Dataset for Defect Detection in Bioinformatics Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hangyu Cheng, Jiayin Wang, Tianxiang Xu, Xiaoyan Zhu, Xin Lai, Xin Lian","submitted_at":"2026-05-20T06:34:22Z","abstract_excerpt":"Software defect detection is a critical task in software engineering. However, no prior studies have specifically addressed defect detection in bioinformatics software. Given that the performance of defect detection tasks is primarily influenced by both models and datasets, our experiments controlled for model-related factors and confirmed the limitations of existing datasets in bioinformatics software. To address this issue, we introduce BioDefect, the first dataset specifically designed for defect detection in bioinformatics software, aiming to overcome the limitations of existing datasets i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.20788","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/2605.20788/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.20788","created_at":"2026-05-21T01:04:54.442517+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.20788v1","created_at":"2026-05-21T01:04:54.442517+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.20788","created_at":"2026-05-21T01:04:54.442517+00:00"},{"alias_kind":"pith_short_12","alias_value":"M3QSQLEWIVAS","created_at":"2026-05-21T01:04:54.442517+00:00"},{"alias_kind":"pith_short_16","alias_value":"M3QSQLEWIVASO2HZ","created_at":"2026-05-21T01:04:54.442517+00:00"},{"alias_kind":"pith_short_8","alias_value":"M3QSQLEW","created_at":"2026-05-21T01:04:54.442517+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U","json":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U.json","graph_json":"https://pith.science/api/pith-number/M3QSQLEWIVASO2HZ4FC6ZTNR5U/graph.json","events_json":"https://pith.science/api/pith-number/M3QSQLEWIVASO2HZ4FC6ZTNR5U/events.json","paper":"https://pith.science/paper/M3QSQLEW"},"agent_actions":{"view_html":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U","download_json":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U.json","view_paper":"https://pith.science/paper/M3QSQLEW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.20788&json=true","fetch_graph":"https://pith.science/api/pith-number/M3QSQLEWIVASO2HZ4FC6ZTNR5U/graph.json","fetch_events":"https://pith.science/api/pith-number/M3QSQLEWIVASO2HZ4FC6ZTNR5U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U/action/storage_attestation","attest_author":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U/action/author_attestation","sign_citation":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U/action/citation_signature","submit_replication":"https://pith.science/pith/M3QSQLEWIVASO2HZ4FC6ZTNR5U/action/replication_record"}},"created_at":"2026-05-21T01:04:54.442517+00:00","updated_at":"2026-05-21T01:04:54.442517+00:00"}