{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:QRHI6TE26SANHN4VBNIHU55T54","short_pith_number":"pith:QRHI6TE2","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"},"canonical_sha256":"844e8f4c9af480d3b7950b507a77b3ef328ad6ebbbb4ba163168676f71d4c088","source":{"kind":"arxiv","id":"1707.01123","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.01123","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"arxiv_version","alias_value":"1707.01123v1","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01123","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"pith_short_12","alias_value":"QRHI6TE26SAN","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"QRHI6TE26SANHN4V","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"QRHI6TE2","created_at":"2026-05-18T12:31:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:QRHI6TE26SANHN4VBNIHU55T54","target":"record","payload":{"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"},"canonical_sha256":"844e8f4c9af480d3b7950b507a77b3ef328ad6ebbbb4ba163168676f71d4c088","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"},"source_kind":"arxiv","source_id":"1707.01123","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:40:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Td/QGbr31s8o0bWLiZRY6yPs4XPbavAuFPdIfE8oPqmKDeNSl9gGVseY5y7HyLlybLqQdCp4BjLpRD/xbVxaBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T18:25:38.353219Z"},"content_sha256":"8b040bd6cd0ec13efac36e722e261c5a6509e2373c3889a88b82d5fb36e1790f","schema_version":"1.0","event_id":"sha256:8b040bd6cd0ec13efac36e722e261c5a6509e2373c3889a88b82d5fb36e1790f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:QRHI6TE26SANHN4VBNIHU55T54","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:40:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D5mSJQt5dX+QWIQ8JhlQm0JYN+WOuwU1IUokJ0rH4l4U055/yLlMS+qlE76hJa7Y/SqPbK7GcCUISAt63cm4BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T18:25:38.353585Z"},"content_sha256":"b2d8e20435402deb1b329f025cda1c5f1242ec95d62a0477e7d1d01c50c77717","schema_version":"1.0","event_id":"sha256:b2d8e20435402deb1b329f025cda1c5f1242ec95d62a0477e7d1d01c50c77717"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/bundle.json","state_url":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QRHI6TE26SANHN4VBNIHU55T54/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-23T18:25:38Z","links":{"resolver":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54","bundle":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/bundle.json","state":"https://pith.science/pith/QRHI6TE26SANHN4VBNIHU55T54/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QRHI6TE26SANHN4VBNIHU55T54/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:QRHI6TE26SANHN4VBNIHU55T54","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a1793ed4dd7371200048df75a2b3fc76b9ceb902e0717c931656d164aa2fad37","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-04T18:12:57Z","title_canon_sha256":"6d24afa32b8160a01f1b9e9ddacbd38cfa16e48a81a897b2ab8289f303c545fc"},"schema_version":"1.0","source":{"id":"1707.01123","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.01123","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"arxiv_version","alias_value":"1707.01123v1","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01123","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"pith_short_12","alias_value":"QRHI6TE26SAN","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"QRHI6TE26SANHN4V","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"QRHI6TE2","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:b2d8e20435402deb1b329f025cda1c5f1242ec95d62a0477e7d1d01c50c77717","target":"graph","created_at":"2026-05-18T00:40:53Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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","authors_text":"Alessandro Murgia, Ali Parsai, Serge Demeyer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-04T18:12:57Z","title":"LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01123","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8b040bd6cd0ec13efac36e722e261c5a6509e2373c3889a88b82d5fb36e1790f","target":"record","created_at":"2026-05-18T00:40:53Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a1793ed4dd7371200048df75a2b3fc76b9ceb902e0717c931656d164aa2fad37","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-04T18:12:57Z","title_canon_sha256":"6d24afa32b8160a01f1b9e9ddacbd38cfa16e48a81a897b2ab8289f303c545fc"},"schema_version":"1.0","source":{"id":"1707.01123","kind":"arxiv","version":1}},"canonical_sha256":"844e8f4c9af480d3b7950b507a77b3ef328ad6ebbbb4ba163168676f71d4c088","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"844e8f4c9af480d3b7950b507a77b3ef328ad6ebbbb4ba163168676f71d4c088","first_computed_at":"2026-05-18T00:40:53.620204Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:53.620204Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+RQK51eQ3G8mc9/mtuGHJ94C9oEDJ0Lh/gqo2MlSwJ3Xq0InT+slPm4bVGWvVaajij8IpYEPSHIHtsqNd8wMCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:53.620602Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.01123","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b040bd6cd0ec13efac36e722e261c5a6509e2373c3889a88b82d5fb36e1790f","sha256:b2d8e20435402deb1b329f025cda1c5f1242ec95d62a0477e7d1d01c50c77717"],"state_sha256":"817414f02878a29540155bf768ece10269f7e11f4dd9445e6b493be0bf38c29e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GNU7+3CrgxdpANGuDQny4NG7hYIvgjPZRzKn0jEUUKeHWHQ1am5VgdcoRkMnDB0ds/mmuhjkVMxJNzZuYOX7BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T18:25:38.355493Z","bundle_sha256":"a02798f036479695da9f01c57e32b80692e561bf382a6075e0a6deb3b256f2cb"}}