{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:QRHI6TE26SANHN4VBNIHU55T54","short_pith_number":"pith:QRHI6TE2","schema_version":"1.0","canonical_sha256":"844e8f4c9af480d3b7950b507a77b3ef328ad6ebbbb4ba163168676f71d4c088","source":{"kind":"arxiv","id":"1707.01123","version":1},"attestation_state":"computed","paper":{"title":"LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessandro Murgia, Ali Parsai, Serge Demeyer","submitted_at":"2017-07-04T18:12:57Z","abstract_excerpt":"Mutation testing is a well-studied method for increasing the quality of a test suite. We designed LittleDarwin as a mutation testing framework able to cope with large and complex Java software systems, while still being easily extensible with new experimental components. LittleDarwin addresses two existing problems in the domain of mutation testing: having a tool able to work within an industrial setting, and yet, be open to extension for cutting edge techniques provided by academia. LittleDarwin already offers higher-order mutation, null type mutants, mutant sampling, manual mutation, and mut"},"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":"1707.01123","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-04T18:12:57Z","cross_cats_sorted":[],"title_canon_sha256":"6d24afa32b8160a01f1b9e9ddacbd38cfa16e48a81a897b2ab8289f303c545fc","abstract_canon_sha256":"a1793ed4dd7371200048df75a2b3fc76b9ceb902e0717c931656d164aa2fad37"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:53.620602Z","signature_b64":"+RQK51eQ3G8mc9/mtuGHJ94C9oEDJ0Lh/gqo2MlSwJ3Xq0InT+slPm4bVGWvVaajij8IpYEPSHIHtsqNd8wMCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"844e8f4c9af480d3b7950b507a77b3ef328ad6ebbbb4ba163168676f71d4c088","last_reissued_at":"2026-05-18T00:40:53.620204Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:53.620204Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessandro Murgia, Ali Parsai, Serge Demeyer","submitted_at":"2017-07-04T18:12:57Z","abstract_excerpt":"Mutation testing is a well-studied method for increasing the quality of a test suite. We designed LittleDarwin as a mutation testing framework able to cope with large and complex Java software systems, while still being easily extensible with new experimental components. LittleDarwin addresses two existing problems in the domain of mutation testing: having a tool able to work within an industrial setting, and yet, be open to extension for cutting edge techniques provided by academia. LittleDarwin already offers higher-order mutation, null type mutants, mutant sampling, manual mutation, and mut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01123","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":""},"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":"1707.01123","created_at":"2026-05-18T00:40:53.620267+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.01123v1","created_at":"2026-05-18T00:40:53.620267+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01123","created_at":"2026-05-18T00:40:53.620267+00:00"},{"alias_kind":"pith_short_12","alias_value":"QRHI6TE26SAN","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"QRHI6TE26SANHN4V","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"QRHI6TE2","created_at":"2026-05-18T12:31:39.905425+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/QRHI6TE26SANHN4VBNIHU55T54","json":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54.json","graph_json":"https://pith.science/api/pith-number/QRHI6TE26SANHN4VBNIHU55T54/graph.json","events_json":"https://pith.science/api/pith-number/QRHI6TE26SANHN4VBNIHU55T54/events.json","paper":"https://pith.science/paper/QRHI6TE2"},"agent_actions":{"view_html":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54","download_json":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54.json","view_paper":"https://pith.science/paper/QRHI6TE2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.01123&json=true","fetch_graph":"https://pith.science/api/pith-number/QRHI6TE26SANHN4VBNIHU55T54/graph.json","fetch_events":"https://pith.science/api/pith-number/QRHI6TE26SANHN4VBNIHU55T54/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/action/storage_attestation","attest_author":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/action/author_attestation","sign_citation":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/action/citation_signature","submit_replication":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/action/replication_record"}},"created_at":"2026-05-18T00:40:53.620267+00:00","updated_at":"2026-05-18T00:40:53.620267+00:00"}