{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:OYE5BX53YS2S4M65OKNMY53DEW","short_pith_number":"pith:OYE5BX53","canonical_record":{"source":{"id":"2204.05561","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-04-12T06:47:03Z","cross_cats_sorted":[],"title_canon_sha256":"7fef1767ff174fe130d001f87193b982efc8360241b5edf4ab7cf84ea3573310","abstract_canon_sha256":"464e3d70284ccda3a7ddae6bc916ca53821726c41da71912ffd668cebbf63ae0"},"schema_version":"1.0"},"canonical_sha256":"7609d0dfbbc4b52e33dd729acc776325957f911f01f63247a7dde189e96f8a37","source":{"kind":"arxiv","id":"2204.05561","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.05561","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"arxiv_version","alias_value":"2204.05561v1","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.05561","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"pith_short_12","alias_value":"OYE5BX53YS2S","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"pith_short_16","alias_value":"OYE5BX53YS2S4M65","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"pith_short_8","alias_value":"OYE5BX53","created_at":"2026-07-05T04:13:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:OYE5BX53YS2S4M65OKNMY53DEW","target":"record","payload":{"canonical_record":{"source":{"id":"2204.05561","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-04-12T06:47:03Z","cross_cats_sorted":[],"title_canon_sha256":"7fef1767ff174fe130d001f87193b982efc8360241b5edf4ab7cf84ea3573310","abstract_canon_sha256":"464e3d70284ccda3a7ddae6bc916ca53821726c41da71912ffd668cebbf63ae0"},"schema_version":"1.0"},"canonical_sha256":"7609d0dfbbc4b52e33dd729acc776325957f911f01f63247a7dde189e96f8a37","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:13:59.339938Z","signature_b64":"etqqSvUM0MCVUKyEqwWQyje5ohP1ddejrszjCcDj5Nl31w5LSetjHAOVP2NpkhLU+PzsS+SGLQxe6DhqnmA5Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7609d0dfbbc4b52e33dd729acc776325957f911f01f63247a7dde189e96f8a37","last_reissued_at":"2026-07-05T04:13:59.339577Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:13:59.339577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2204.05561","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-07-05T04:13:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vGJAUf7kVIQTna67gdnMpLUWVfnNeeS9MhBAjRridI3ZQ92IcBn0c9B/5OeGkoO0zss9M77Z54lNWTSdRDuiBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T06:14:29.745885Z"},"content_sha256":"e56c9091d77eb4587cdbcc091e2780ff360e181d9bd936cc57fc3ab790760df4","schema_version":"1.0","event_id":"sha256:e56c9091d77eb4587cdbcc091e2780ff360e181d9bd936cc57fc3ab790760df4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:OYE5BX53YS2S4M65OKNMY53DEW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Toward Granular Automatic Unit Test Case Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andrea De Lucia, Fabiano Pecorelli, Fabio Palomba, Giovanni Grano, Harald C. Gall","submitted_at":"2022-04-12T06:47:03Z","abstract_excerpt":"Unit testing verifies the presence of faults in individual software components. Previous research has been targeting the automatic generation of unit tests through the adoption of random or search-based algorithms. Despite their effectiveness, these approaches do not implement any strategy that allows them to create unit tests in a structured manner: indeed, they aim at creating tests by optimizing metrics like code coverage without ensuring that the resulting tests follow good design principles. In order to structure the automatic test case generation process, we propose a two-step systematic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.05561","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/2204.05561/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"},"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-07-05T04:13:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eBJ5zWwdrLUp1d5PJnM+WmbwWCB/SDBs2MP6293strCH42r5BzXYbMZ3hmp1vSYARLIA/aEcyVP1bIAEvAFGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T06:14:29.746766Z"},"content_sha256":"93b57d4295f1a1215c557cf4472cf812b653c47d0211a00fdb4d028fa780f68e","schema_version":"1.0","event_id":"sha256:93b57d4295f1a1215c557cf4472cf812b653c47d0211a00fdb4d028fa780f68e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OYE5BX53YS2S4M65OKNMY53DEW/bundle.json","state_url":"https://pith.science/pith/OYE5BX53YS2S4M65OKNMY53DEW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OYE5BX53YS2S4M65OKNMY53DEW/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-08-16T06:14:29Z","links":{"resolver":"https://pith.science/pith/OYE5BX53YS2S4M65OKNMY53DEW","bundle":"https://pith.science/pith/OYE5BX53YS2S4M65OKNMY53DEW/bundle.json","state":"https://pith.science/pith/OYE5BX53YS2S4M65OKNMY53DEW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OYE5BX53YS2S4M65OKNMY53DEW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:OYE5BX53YS2S4M65OKNMY53DEW","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":"464e3d70284ccda3a7ddae6bc916ca53821726c41da71912ffd668cebbf63ae0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-04-12T06:47:03Z","title_canon_sha256":"7fef1767ff174fe130d001f87193b982efc8360241b5edf4ab7cf84ea3573310"},"schema_version":"1.0","source":{"id":"2204.05561","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.05561","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"arxiv_version","alias_value":"2204.05561v1","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.05561","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"pith_short_12","alias_value":"OYE5BX53YS2S","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"pith_short_16","alias_value":"OYE5BX53YS2S4M65","created_at":"2026-07-05T04:13:59Z"},{"alias_kind":"pith_short_8","alias_value":"OYE5BX53","created_at":"2026-07-05T04:13:59Z"}],"graph_snapshots":[{"event_id":"sha256:93b57d4295f1a1215c557cf4472cf812b653c47d0211a00fdb4d028fa780f68e","target":"graph","created_at":"2026-07-05T04:13:59Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2204.05561/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Unit testing verifies the presence of faults in individual software components. Previous research has been targeting the automatic generation of unit tests through the adoption of random or search-based algorithms. Despite their effectiveness, these approaches do not implement any strategy that allows them to create unit tests in a structured manner: indeed, they aim at creating tests by optimizing metrics like code coverage without ensuring that the resulting tests follow good design principles. In order to structure the automatic test case generation process, we propose a two-step systematic","authors_text":"Andrea De Lucia, Fabiano Pecorelli, Fabio Palomba, Giovanni Grano, Harald C. Gall","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-04-12T06:47:03Z","title":"Toward Granular Automatic Unit Test Case Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.05561","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:e56c9091d77eb4587cdbcc091e2780ff360e181d9bd936cc57fc3ab790760df4","target":"record","created_at":"2026-07-05T04:13:59Z","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":"464e3d70284ccda3a7ddae6bc916ca53821726c41da71912ffd668cebbf63ae0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-04-12T06:47:03Z","title_canon_sha256":"7fef1767ff174fe130d001f87193b982efc8360241b5edf4ab7cf84ea3573310"},"schema_version":"1.0","source":{"id":"2204.05561","kind":"arxiv","version":1}},"canonical_sha256":"7609d0dfbbc4b52e33dd729acc776325957f911f01f63247a7dde189e96f8a37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7609d0dfbbc4b52e33dd729acc776325957f911f01f63247a7dde189e96f8a37","first_computed_at":"2026-07-05T04:13:59.339577Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:13:59.339577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"etqqSvUM0MCVUKyEqwWQyje5ohP1ddejrszjCcDj5Nl31w5LSetjHAOVP2NpkhLU+PzsS+SGLQxe6DhqnmA5Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:13:59.339938Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.05561","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e56c9091d77eb4587cdbcc091e2780ff360e181d9bd936cc57fc3ab790760df4","sha256:93b57d4295f1a1215c557cf4472cf812b653c47d0211a00fdb4d028fa780f68e"],"state_sha256":"ffb77294df8b4e3ef81038f4a8b14ac927a0665747766cd32b5a1df5e333081d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u+dbYoiIayiL5JlK1PUjvq5j04glCImm9BeZLKGwWbouPpbWfhdEaakPOT1FQUlhlL30q9w80P86YD+Kbge9Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T06:14:29.753931Z","bundle_sha256":"85ff5703160b385ba8a2e77268b654935cec108dcd22c449c108b8ce224fb2e2"}}