{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:DUAMHIXG6WLKVA65YWM4ILQYXV","short_pith_number":"pith:DUAMHIXG","canonical_record":{"source":{"id":"2307.16185","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-30T09:48:51Z","cross_cats_sorted":[],"title_canon_sha256":"53575ddb2a90b92f365bd3aa1fef40e0558af799c882a85537d30d8f8f5cd333","abstract_canon_sha256":"41ce72d36a138386ea3fc0b0051cf2f733f687e0425c597ad9d830770b15c0ea"},"schema_version":"1.0"},"canonical_sha256":"1d00c3a2e6f596aa83ddc599c42e18bd5dc45c70e700da48a941ffc2939a6a6c","source":{"kind":"arxiv","id":"2307.16185","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.16185","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"2307.16185v1","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.16185","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"DUAMHIXG6WLK","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"pith_short_16","alias_value":"DUAMHIXG6WLKVA65","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"pith_short_8","alias_value":"DUAMHIXG","created_at":"2026-07-05T06:35:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:DUAMHIXG6WLKVA65YWM4ILQYXV","target":"record","payload":{"canonical_record":{"source":{"id":"2307.16185","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-30T09:48:51Z","cross_cats_sorted":[],"title_canon_sha256":"53575ddb2a90b92f365bd3aa1fef40e0558af799c882a85537d30d8f8f5cd333","abstract_canon_sha256":"41ce72d36a138386ea3fc0b0051cf2f733f687e0425c597ad9d830770b15c0ea"},"schema_version":"1.0"},"canonical_sha256":"1d00c3a2e6f596aa83ddc599c42e18bd5dc45c70e700da48a941ffc2939a6a6c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:35:59.821110Z","signature_b64":"UptPj1lo0sRplqTj1gmfgPsLeiTztJjuMH6atnWuMUSrGTmskvjnMz+NkVQ86xNWOSQJqTGK1AnUGdj1/CH8Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d00c3a2e6f596aa83ddc599c42e18bd5dc45c70e700da48a941ffc2939a6a6c","last_reissued_at":"2026-07-05T06:35:59.820632Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:35:59.820632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.16185","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-05T06:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3AY9rPJLM1I98a4xJXCIyM7DCNlnuX3AOZDMnfZDyfjPy15wmcbnUUBIfHD2NLxn2id6TbturhUYHNvFHrgcDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T13:25:34.405770Z"},"content_sha256":"bb1bd41c9ef93cbf3cf5e2cce1689932eab6273d8c06bdf2b1e2db531e803ea3","schema_version":"1.0","event_id":"sha256:bb1bd41c9ef93cbf3cf5e2cce1689932eab6273d8c06bdf2b1e2db531e803ea3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:DUAMHIXG6WLKVA65YWM4ILQYXV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Measuring Software Testability via Automatically Generated Test Cases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Giovanni Denaro, Leonardo Mariani, Luca Guglielmo","submitted_at":"2023-07-30T09:48:51Z","abstract_excerpt":"Estimating software testability can crucially assist software managers to optimize test budgets and software quality. In this paper, we propose a new approach that radically differs from the traditional approach of pursuing testability measurements based on software metrics, e.g., the size of the code or the complexity of the designs. Our approach exploits automatic test generation and mutation analysis to quantify the evidence about the relative hardness of developing effective test cases. In the paper, we elaborate on the intuitions and the methodological choices that underlie our proposal f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.16185","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/2307.16185/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-05T06:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TsWHaehVpItTcwak5pZb5Ch33h/Tf3Rypwcklk3guXawCedaA5l1Nu+fosoGELggalg1YPHwXBCylDgS7x9rDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T13:25:34.406343Z"},"content_sha256":"b8e96aefaba4fd8aa9db99c6059d158adb7807d0992e122e0eb24f4a6eb7561c","schema_version":"1.0","event_id":"sha256:b8e96aefaba4fd8aa9db99c6059d158adb7807d0992e122e0eb24f4a6eb7561c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DUAMHIXG6WLKVA65YWM4ILQYXV/bundle.json","state_url":"https://pith.science/pith/DUAMHIXG6WLKVA65YWM4ILQYXV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DUAMHIXG6WLKVA65YWM4ILQYXV/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-20T13:25:34Z","links":{"resolver":"https://pith.science/pith/DUAMHIXG6WLKVA65YWM4ILQYXV","bundle":"https://pith.science/pith/DUAMHIXG6WLKVA65YWM4ILQYXV/bundle.json","state":"https://pith.science/pith/DUAMHIXG6WLKVA65YWM4ILQYXV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DUAMHIXG6WLKVA65YWM4ILQYXV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:DUAMHIXG6WLKVA65YWM4ILQYXV","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":"41ce72d36a138386ea3fc0b0051cf2f733f687e0425c597ad9d830770b15c0ea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-30T09:48:51Z","title_canon_sha256":"53575ddb2a90b92f365bd3aa1fef40e0558af799c882a85537d30d8f8f5cd333"},"schema_version":"1.0","source":{"id":"2307.16185","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.16185","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"2307.16185v1","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.16185","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"DUAMHIXG6WLK","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"pith_short_16","alias_value":"DUAMHIXG6WLKVA65","created_at":"2026-07-05T06:35:59Z"},{"alias_kind":"pith_short_8","alias_value":"DUAMHIXG","created_at":"2026-07-05T06:35:59Z"}],"graph_snapshots":[{"event_id":"sha256:b8e96aefaba4fd8aa9db99c6059d158adb7807d0992e122e0eb24f4a6eb7561c","target":"graph","created_at":"2026-07-05T06:35: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/2307.16185/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Estimating software testability can crucially assist software managers to optimize test budgets and software quality. In this paper, we propose a new approach that radically differs from the traditional approach of pursuing testability measurements based on software metrics, e.g., the size of the code or the complexity of the designs. Our approach exploits automatic test generation and mutation analysis to quantify the evidence about the relative hardness of developing effective test cases. In the paper, we elaborate on the intuitions and the methodological choices that underlie our proposal f","authors_text":"Giovanni Denaro, Leonardo Mariani, Luca Guglielmo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-30T09:48:51Z","title":"Measuring Software Testability via Automatically Generated Test Cases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.16185","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:bb1bd41c9ef93cbf3cf5e2cce1689932eab6273d8c06bdf2b1e2db531e803ea3","target":"record","created_at":"2026-07-05T06:35: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":"41ce72d36a138386ea3fc0b0051cf2f733f687e0425c597ad9d830770b15c0ea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-30T09:48:51Z","title_canon_sha256":"53575ddb2a90b92f365bd3aa1fef40e0558af799c882a85537d30d8f8f5cd333"},"schema_version":"1.0","source":{"id":"2307.16185","kind":"arxiv","version":1}},"canonical_sha256":"1d00c3a2e6f596aa83ddc599c42e18bd5dc45c70e700da48a941ffc2939a6a6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d00c3a2e6f596aa83ddc599c42e18bd5dc45c70e700da48a941ffc2939a6a6c","first_computed_at":"2026-07-05T06:35:59.820632Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:35:59.820632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UptPj1lo0sRplqTj1gmfgPsLeiTztJjuMH6atnWuMUSrGTmskvjnMz+NkVQ86xNWOSQJqTGK1AnUGdj1/CH8Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:35:59.821110Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.16185","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb1bd41c9ef93cbf3cf5e2cce1689932eab6273d8c06bdf2b1e2db531e803ea3","sha256:b8e96aefaba4fd8aa9db99c6059d158adb7807d0992e122e0eb24f4a6eb7561c"],"state_sha256":"c565221be2d072808f29d4e96e6c364bd0257f4bc28ce94c1ad231bc64d90abb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"faDWrKur6tIUoLJp69jBI66vSLK6bQVT+JSr4tSCOyeTKey/hfkhBHKJtC4WP4dXBAa4nntElWNtOZcmjP0EBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T13:25:34.411111Z","bundle_sha256":"04f4b7e2fd2903921f0aa173270c7da9a3c5da21fc97742156299294fbcc21a7"}}