{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:LRIIMF6TOSM3EXKS6MNA2L3XDM","short_pith_number":"pith:LRIIMF6T","schema_version":"1.0","canonical_sha256":"5c508617d37499b25d52f31a0d2f771b10203aa4b5e665c18d4ca3825567d37c","source":{"kind":"arxiv","id":"1909.04770","version":1},"attestation_state":"computed","paper":{"title":"Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Benjamin Danglot, Benoit Baudry, Martin Monperrus, Oscar Luis Vera-P\\'erez","submitted_at":"2019-09-10T21:46:01Z","abstract_excerpt":"An extreme transformation removes the body of a method that is reached by one test case at least. If the test suite passes on the original program and still passes after the extreme transformation, the transformation is said to be undetected, and the test suite needs to be improved. In this work we propose a technique to automatically determine which of the following three reasons prevent the detection of the extreme transformation is : the test inputs are not sufficient to infect the state of the program; the infection does not propagate to the test cases; the test cases have a weak oracle th"},"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":"1909.04770","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-09-10T21:46:01Z","cross_cats_sorted":[],"title_canon_sha256":"467fd6618c0f0339bf16913d9905146a991ce781478aae39a787898657986631","abstract_canon_sha256":"56d5c0364ec58a29765eecba00601a421fcc13ae6abe7da7734305089c48f51d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:04:00.376951Z","signature_b64":"7T6uzmYEir2d1+V2/FNfSLIoDHSKU9sGvrAlkYyQpUa3OmgfQSH+xKE6BAS9PLFTinrvi3q2GoKRzeMqqfaKDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5c508617d37499b25d52f31a0d2f771b10203aa4b5e665c18d4ca3825567d37c","last_reissued_at":"2026-07-05T00:04:00.376469Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:04:00.376469Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Benjamin Danglot, Benoit Baudry, Martin Monperrus, Oscar Luis Vera-P\\'erez","submitted_at":"2019-09-10T21:46:01Z","abstract_excerpt":"An extreme transformation removes the body of a method that is reached by one test case at least. If the test suite passes on the original program and still passes after the extreme transformation, the transformation is said to be undetected, and the test suite needs to be improved. In this work we propose a technique to automatically determine which of the following three reasons prevent the detection of the extreme transformation is : the test inputs are not sufficient to infect the state of the program; the infection does not propagate to the test cases; the test cases have a weak oracle th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.04770","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/1909.04770/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":"1909.04770","created_at":"2026-07-05T00:04:00.376534+00:00"},{"alias_kind":"arxiv_version","alias_value":"1909.04770v1","created_at":"2026-07-05T00:04:00.376534+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.04770","created_at":"2026-07-05T00:04:00.376534+00:00"},{"alias_kind":"pith_short_12","alias_value":"LRIIMF6TOSM3","created_at":"2026-07-05T00:04:00.376534+00:00"},{"alias_kind":"pith_short_16","alias_value":"LRIIMF6TOSM3EXKS","created_at":"2026-07-05T00:04:00.376534+00:00"},{"alias_kind":"pith_short_8","alias_value":"LRIIMF6T","created_at":"2026-07-05T00:04:00.376534+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.09846","citing_title":"Leveraging Propagated Infection to Crossfire Mutants","ref_index":48,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM","json":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM.json","graph_json":"https://pith.science/api/pith-number/LRIIMF6TOSM3EXKS6MNA2L3XDM/graph.json","events_json":"https://pith.science/api/pith-number/LRIIMF6TOSM3EXKS6MNA2L3XDM/events.json","paper":"https://pith.science/paper/LRIIMF6T"},"agent_actions":{"view_html":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM","download_json":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM.json","view_paper":"https://pith.science/paper/LRIIMF6T","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1909.04770&json=true","fetch_graph":"https://pith.science/api/pith-number/LRIIMF6TOSM3EXKS6MNA2L3XDM/graph.json","fetch_events":"https://pith.science/api/pith-number/LRIIMF6TOSM3EXKS6MNA2L3XDM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM/action/storage_attestation","attest_author":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM/action/author_attestation","sign_citation":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM/action/citation_signature","submit_replication":"https://pith.science/pith/LRIIMF6TOSM3EXKS6MNA2L3XDM/action/replication_record"}},"created_at":"2026-07-05T00:04:00.376534+00:00","updated_at":"2026-07-05T00:04:00.376534+00:00"}