{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:KIXTQ6CJ7AZZVVNAO6WXUWUGCW","short_pith_number":"pith:KIXTQ6CJ","schema_version":"1.0","canonical_sha256":"522f387849f8339ad5a077ad7a5a86158193c9d5fa0eced5318d30f37820c896","source":{"kind":"arxiv","id":"2208.06018","version":1},"attestation_state":"computed","paper":{"title":"A Probabilistic Framework for Mutation Testing in Deep Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Florian Tambon, Foutse Khomh, Giuliano Antoniol","submitted_at":"2022-08-11T19:45:14Z","abstract_excerpt":"Context: Mutation Testing (MT) is an important tool in traditional Software Engineering (SE) white-box testing. It aims to artificially inject faults in a system to evaluate a test suite's capability to detect them, assuming that the test suite defects finding capability will then translate to real faults. If MT has long been used in SE, it is only recently that it started gaining the attention of the Deep Learning (DL) community, with researchers adapting it to improve the testability of DL models and improve the trustworthiness of DL systems.\n  Objective: If several techniques have been prop"},"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":"2208.06018","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-08-11T19:45:14Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ee48ba71caca3dd996f5fd277f001289f204d64e03ca55090ef22494c0795954","abstract_canon_sha256":"5f6364c80fd614a295a20749528bf305e1a4c921b660ff908318cbf7aa30e15e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:32:46.886365Z","signature_b64":"sAJwa/NgWl4ZQi1/+vlBzkm5T+0CaZT5o+gh8I0n+UFw35t6os09kfrYtL7HhlqljJu8jO8z5+1OFq8ab0LNBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"522f387849f8339ad5a077ad7a5a86158193c9d5fa0eced5318d30f37820c896","last_reissued_at":"2026-07-05T05:32:46.885974Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:32:46.885974Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Probabilistic Framework for Mutation Testing in Deep Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Florian Tambon, Foutse Khomh, Giuliano Antoniol","submitted_at":"2022-08-11T19:45:14Z","abstract_excerpt":"Context: Mutation Testing (MT) is an important tool in traditional Software Engineering (SE) white-box testing. It aims to artificially inject faults in a system to evaluate a test suite's capability to detect them, assuming that the test suite defects finding capability will then translate to real faults. If MT has long been used in SE, it is only recently that it started gaining the attention of the Deep Learning (DL) community, with researchers adapting it to improve the testability of DL models and improve the trustworthiness of DL systems.\n  Objective: If several techniques have been prop"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.06018","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/2208.06018/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":"2208.06018","created_at":"2026-07-05T05:32:46.886035+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.06018v1","created_at":"2026-07-05T05:32:46.886035+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.06018","created_at":"2026-07-05T05:32:46.886035+00:00"},{"alias_kind":"pith_short_12","alias_value":"KIXTQ6CJ7AZZ","created_at":"2026-07-05T05:32:46.886035+00:00"},{"alias_kind":"pith_short_16","alias_value":"KIXTQ6CJ7AZZVVNA","created_at":"2026-07-05T05:32:46.886035+00:00"},{"alias_kind":"pith_short_8","alias_value":"KIXTQ6CJ","created_at":"2026-07-05T05:32:46.886035+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/KIXTQ6CJ7AZZVVNAO6WXUWUGCW","json":"https://pith.science/pith/KIXTQ6CJ7AZZVVNAO6WXUWUGCW.json","graph_json":"https://pith.science/api/pith-number/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/graph.json","events_json":"https://pith.science/api/pith-number/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/events.json","paper":"https://pith.science/paper/KIXTQ6CJ"},"agent_actions":{"view_html":"https://pith.science/pith/KIXTQ6CJ7AZZVVNAO6WXUWUGCW","download_json":"https://pith.science/pith/KIXTQ6CJ7AZZVVNAO6WXUWUGCW.json","view_paper":"https://pith.science/paper/KIXTQ6CJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.06018&json=true","fetch_graph":"https://pith.science/api/pith-number/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/graph.json","fetch_events":"https://pith.science/api/pith-number/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/action/storage_attestation","attest_author":"https://pith.science/pith/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/action/author_attestation","sign_citation":"https://pith.science/pith/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/action/citation_signature","submit_replication":"https://pith.science/pith/KIXTQ6CJ7AZZVVNAO6WXUWUGCW/action/replication_record"}},"created_at":"2026-07-05T05:32:46.886035+00:00","updated_at":"2026-07-05T05:32:46.886035+00:00"}