{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:ECNCQFINLQVESKOTS5VOVRMS3G","short_pith_number":"pith:ECNCQFIN","schema_version":"1.0","canonical_sha256":"209a28150d5c2a4929d3976aeac592d9ac6b649150aa7c8bc461bc03f1be05bf","source":{"kind":"arxiv","id":"1807.10953","version":2},"attestation_state":"computed","paper":{"title":"Goal-Oriented Mutation Testing with Focal Methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Markus Borg, Mohammad Ghafari, Serge Demeyer, Sten Vercammen","submitted_at":"2018-07-28T15:38:39Z","abstract_excerpt":"Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. Unfortunately, mutation testing consumes enormous computing resources because it runs the whole test suite for each and every injected mutant. In this paper we explore fine-grained traceability links at method level (named focal methods), to reduce the execution time of mutation testing and to verify the quality of the test cases for each individual method, instead of the usually verified overall test suite quality. Validation of our approach on the open source Apache Ant project show"},"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":"1807.10953","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-28T15:38:39Z","cross_cats_sorted":[],"title_canon_sha256":"398537c50d2d1d4ec7b2a3c758a8e58f8e7f0d892675188a16820133cd4cb44e","abstract_canon_sha256":"51501c934329beea8b3f6d28d4ea655f1cdef31ca7214435b8ca5283c3891fbd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:45.968092Z","signature_b64":"S0uqN316mRBp8ieYTcdu/7wWHHzT2R5s0lqMNNtdd8mKarnB49ZjtAWUWyv/dxNhufpz/SaLXe11TO+3nE7IAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"209a28150d5c2a4929d3976aeac592d9ac6b649150aa7c8bc461bc03f1be05bf","last_reissued_at":"2026-05-18T00:03:45.967475Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:45.967475Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Goal-Oriented Mutation Testing with Focal Methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Markus Borg, Mohammad Ghafari, Serge Demeyer, Sten Vercammen","submitted_at":"2018-07-28T15:38:39Z","abstract_excerpt":"Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. Unfortunately, mutation testing consumes enormous computing resources because it runs the whole test suite for each and every injected mutant. In this paper we explore fine-grained traceability links at method level (named focal methods), to reduce the execution time of mutation testing and to verify the quality of the test cases for each individual method, instead of the usually verified overall test suite quality. Validation of our approach on the open source Apache Ant project show"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.10953","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1807.10953","created_at":"2026-05-18T00:03:45.967579+00:00"},{"alias_kind":"arxiv_version","alias_value":"1807.10953v2","created_at":"2026-05-18T00:03:45.967579+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.10953","created_at":"2026-05-18T00:03:45.967579+00:00"},{"alias_kind":"pith_short_12","alias_value":"ECNCQFINLQVE","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_16","alias_value":"ECNCQFINLQVESKOT","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_8","alias_value":"ECNCQFIN","created_at":"2026-05-18T12:32:22.470017+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/ECNCQFINLQVESKOTS5VOVRMS3G","json":"https://pith.science/pith/ECNCQFINLQVESKOTS5VOVRMS3G.json","graph_json":"https://pith.science/api/pith-number/ECNCQFINLQVESKOTS5VOVRMS3G/graph.json","events_json":"https://pith.science/api/pith-number/ECNCQFINLQVESKOTS5VOVRMS3G/events.json","paper":"https://pith.science/paper/ECNCQFIN"},"agent_actions":{"view_html":"https://pith.science/pith/ECNCQFINLQVESKOTS5VOVRMS3G","download_json":"https://pith.science/pith/ECNCQFINLQVESKOTS5VOVRMS3G.json","view_paper":"https://pith.science/paper/ECNCQFIN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1807.10953&json=true","fetch_graph":"https://pith.science/api/pith-number/ECNCQFINLQVESKOTS5VOVRMS3G/graph.json","fetch_events":"https://pith.science/api/pith-number/ECNCQFINLQVESKOTS5VOVRMS3G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ECNCQFINLQVESKOTS5VOVRMS3G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ECNCQFINLQVESKOTS5VOVRMS3G/action/storage_attestation","attest_author":"https://pith.science/pith/ECNCQFINLQVESKOTS5VOVRMS3G/action/author_attestation","sign_citation":"https://pith.science/pith/ECNCQFINLQVESKOTS5VOVRMS3G/action/citation_signature","submit_replication":"https://pith.science/pith/ECNCQFINLQVESKOTS5VOVRMS3G/action/replication_record"}},"created_at":"2026-05-18T00:03:45.967579+00:00","updated_at":"2026-05-18T00:03:45.967579+00:00"}