{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TPOOGTHL2AWE3FWR35UVACOIHW","short_pith_number":"pith:TPOOGTHL","canonical_record":{"source":{"id":"1905.11198","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-27T13:40:59Z","cross_cats_sorted":[],"title_canon_sha256":"a67124832b52c4fa0694e8043a467ec0cff4f9245e431610029a45b01a3cb3f0","abstract_canon_sha256":"5fdbe695d7af30e027d539e71fb2fd4d8b2544322b4bd6ce85f9c8f982e96e3b"},"schema_version":"1.0"},"canonical_sha256":"9bdce34cebd02c4d96d1df695009c83d98e3ae5c4e5edbf7dd01b423c8ad1d94","source":{"kind":"arxiv","id":"1905.11198","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.11198","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"arxiv_version","alias_value":"1905.11198v1","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.11198","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"pith_short_12","alias_value":"TPOOGTHL2AWE","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TPOOGTHL2AWE3FWR","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TPOOGTHL","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TPOOGTHL2AWE3FWR35UVACOIHW","target":"record","payload":{"canonical_record":{"source":{"id":"1905.11198","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-27T13:40:59Z","cross_cats_sorted":[],"title_canon_sha256":"a67124832b52c4fa0694e8043a467ec0cff4f9245e431610029a45b01a3cb3f0","abstract_canon_sha256":"5fdbe695d7af30e027d539e71fb2fd4d8b2544322b4bd6ce85f9c8f982e96e3b"},"schema_version":"1.0"},"canonical_sha256":"9bdce34cebd02c4d96d1df695009c83d98e3ae5c4e5edbf7dd01b423c8ad1d94","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:02.669255Z","signature_b64":"pVSgKc3q6I7K5xtEdOzQh4UKjMY44hI+gxIcji1cES4ZS0GKXRzat/w8x8Sm75yxg5XmsbGB3/YKL9rxQGCaDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9bdce34cebd02c4d96d1df695009c83d98e3ae5c4e5edbf7dd01b423c8ad1d94","last_reissued_at":"2026-05-17T23:45:02.668810Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:02.668810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.11198","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-17T23:45:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8wTjzcCPdreN0pR4BuSZoljXuQskYsuAZHLYLtZJKfpvE9zxRMSW/Z9G+GjuJOpl40kWNKVwUcHEQcsBiGHLAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T22:44:09.830062Z"},"content_sha256":"ef27b0d9d914a5e95305ea57cf7412eeefa7fce2c2d7d71792bf9a100affb7b7","schema_version":"1.0","event_id":"sha256:ef27b0d9d914a5e95305ea57cf7412eeefa7fce2c2d7d71792bf9a100affb7b7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TPOOGTHL2AWE3FWR35UVACOIHW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Automated Boundary Value Testing with Program Derivatives and Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Felix Dobslaw, Robert Feldt","submitted_at":"2019-05-27T13:40:59Z","abstract_excerpt":"A natural and often used strategy when testing software is to use input values at boundaries, i.e. where behavior is expected to change the most, an approach often called boundary value testing or analysis (BVA). Even though this has been a key testing idea for long it has been hard to clearly define and formalize. Consequently, it has also been hard to automate.\n  In this research note we propose one such formalization of BVA by, in a similar way as to how the derivative of a function is defined in mathematics, considering (software) program derivatives. Critical to our definition is the noti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.11198","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-17T23:45:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1x5LKysd53LaGr72209hgRBxa4fVmrdFhVFoJIZ90wyqUaoKaHYYFaprhf8b5NiTuTy2Ck7CqOJA2cx23O8ZCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T22:44:09.830782Z"},"content_sha256":"a604c055d91e583d190f63caa1bc3e555bf20716d53aa048a76744df876d4ec1","schema_version":"1.0","event_id":"sha256:a604c055d91e583d190f63caa1bc3e555bf20716d53aa048a76744df876d4ec1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TPOOGTHL2AWE3FWR35UVACOIHW/bundle.json","state_url":"https://pith.science/pith/TPOOGTHL2AWE3FWR35UVACOIHW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TPOOGTHL2AWE3FWR35UVACOIHW/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-05-29T22:44:09Z","links":{"resolver":"https://pith.science/pith/TPOOGTHL2AWE3FWR35UVACOIHW","bundle":"https://pith.science/pith/TPOOGTHL2AWE3FWR35UVACOIHW/bundle.json","state":"https://pith.science/pith/TPOOGTHL2AWE3FWR35UVACOIHW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TPOOGTHL2AWE3FWR35UVACOIHW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TPOOGTHL2AWE3FWR35UVACOIHW","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":"5fdbe695d7af30e027d539e71fb2fd4d8b2544322b4bd6ce85f9c8f982e96e3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-27T13:40:59Z","title_canon_sha256":"a67124832b52c4fa0694e8043a467ec0cff4f9245e431610029a45b01a3cb3f0"},"schema_version":"1.0","source":{"id":"1905.11198","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.11198","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"arxiv_version","alias_value":"1905.11198v1","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.11198","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"pith_short_12","alias_value":"TPOOGTHL2AWE","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TPOOGTHL2AWE3FWR","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TPOOGTHL","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:a604c055d91e583d190f63caa1bc3e555bf20716d53aa048a76744df876d4ec1","target":"graph","created_at":"2026-05-17T23:45:02Z","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":"A natural and often used strategy when testing software is to use input values at boundaries, i.e. where behavior is expected to change the most, an approach often called boundary value testing or analysis (BVA). Even though this has been a key testing idea for long it has been hard to clearly define and formalize. Consequently, it has also been hard to automate.\n  In this research note we propose one such formalization of BVA by, in a similar way as to how the derivative of a function is defined in mathematics, considering (software) program derivatives. Critical to our definition is the noti","authors_text":"Felix Dobslaw, Robert Feldt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-27T13:40:59Z","title":"Towards Automated Boundary Value Testing with Program Derivatives and Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.11198","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:ef27b0d9d914a5e95305ea57cf7412eeefa7fce2c2d7d71792bf9a100affb7b7","target":"record","created_at":"2026-05-17T23:45:02Z","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":"5fdbe695d7af30e027d539e71fb2fd4d8b2544322b4bd6ce85f9c8f982e96e3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-27T13:40:59Z","title_canon_sha256":"a67124832b52c4fa0694e8043a467ec0cff4f9245e431610029a45b01a3cb3f0"},"schema_version":"1.0","source":{"id":"1905.11198","kind":"arxiv","version":1}},"canonical_sha256":"9bdce34cebd02c4d96d1df695009c83d98e3ae5c4e5edbf7dd01b423c8ad1d94","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9bdce34cebd02c4d96d1df695009c83d98e3ae5c4e5edbf7dd01b423c8ad1d94","first_computed_at":"2026-05-17T23:45:02.668810Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:02.668810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pVSgKc3q6I7K5xtEdOzQh4UKjMY44hI+gxIcji1cES4ZS0GKXRzat/w8x8Sm75yxg5XmsbGB3/YKL9rxQGCaDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:02.669255Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.11198","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef27b0d9d914a5e95305ea57cf7412eeefa7fce2c2d7d71792bf9a100affb7b7","sha256:a604c055d91e583d190f63caa1bc3e555bf20716d53aa048a76744df876d4ec1"],"state_sha256":"087b96dff49c3d697f7c7d7b2cb23166b5d82f35b006c0b5b8dad59ccc211145"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7C5iUbErNbath8Du0aByQuWZSyTTnuZPt7ZPIFLx97wUB0TcgupbFBNYjZz3u+TdHivJZqr9DWH+02lqGPuODw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T22:44:09.834565Z","bundle_sha256":"dfc0e07b39d3caea0fc278fb9d7f67ef3b9ae77962e732b6e324f983c2861926"}}