{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:PDBJZV3PKIDZ5IISJHXVIC2Y2D","short_pith_number":"pith:PDBJZV3P","canonical_record":{"source":{"id":"1409.6605","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:27:09Z","cross_cats_sorted":[],"title_canon_sha256":"6aa323e02b977a1516895543b3d3d1794b8f734cc26add49c9512b9803eb6857","abstract_canon_sha256":"ef4cdd19ec064ebd9fe7cd0a6f09884d3f058a0ac30f34f78ca17bbed66d1548"},"schema_version":"1.0"},"canonical_sha256":"78c29cd76f52079ea11249ef540b58d0c444f7dae821b06a86f4dd070c635acb","source":{"kind":"arxiv","id":"1409.6605","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6605","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6605v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6605","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"PDBJZV3PKIDZ","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"PDBJZV3PKIDZ5IIS","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"PDBJZV3P","created_at":"2026-05-18T12:28:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:PDBJZV3PKIDZ5IISJHXVIC2Y2D","target":"record","payload":{"canonical_record":{"source":{"id":"1409.6605","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:27:09Z","cross_cats_sorted":[],"title_canon_sha256":"6aa323e02b977a1516895543b3d3d1794b8f734cc26add49c9512b9803eb6857","abstract_canon_sha256":"ef4cdd19ec064ebd9fe7cd0a6f09884d3f058a0ac30f34f78ca17bbed66d1548"},"schema_version":"1.0"},"canonical_sha256":"78c29cd76f52079ea11249ef540b58d0c444f7dae821b06a86f4dd070c635acb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:06.749951Z","signature_b64":"jXhw1VDNOnlQk/1bX7x4JrB+Brt6Whd+15lGUc6UWvm/LIFAuBoSU8/rXjyQaZd6FbAsLSylg1EWg3wFGsB3Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"78c29cd76f52079ea11249ef540b58d0c444f7dae821b06a86f4dd070c635acb","last_reissued_at":"2026-05-18T02:42:06.749577Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:06.749577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.6605","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-18T02:42:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e59tQ5EhZYYC4CDFCv3TyFVzQlvjX4r64dIg9XNhWH2Qi3bTqfcFzMqgeNIttu6o6Cxc8pV4slZ9LXPVnUt3Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T03:47:34.354144Z"},"content_sha256":"a98c261bbf0a7bd1a868e1de63710e3d11d52b2f0be97e8e5618cfe133d995ac","schema_version":"1.0","event_id":"sha256:a98c261bbf0a7bd1a868e1de63710e3d11d52b2f0be97e8e5618cfe133d995ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:PDBJZV3PKIDZ5IISJHXVIC2Y2D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Testing Agile Requirements Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Jewgenij Botaschanjan, Markus Pister","submitted_at":"2014-09-22T17:27:09Z","abstract_excerpt":"This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. Testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as poss"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6605","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-18T02:42:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xBXESc+yCOKuyNEsZjGSlqsj/f7pN/PnYgmRzbTux+CgCn23B3Dyle4bPSAJRXqCGvfDXF6hcEa2I0RnXhRsBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T03:47:34.354880Z"},"content_sha256":"2f41b40ea03d5161cadd0e69c1ca1c1a0e5e58a551d665bdc66ee99f47bdb6bf","schema_version":"1.0","event_id":"sha256:2f41b40ea03d5161cadd0e69c1ca1c1a0e5e58a551d665bdc66ee99f47bdb6bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PDBJZV3PKIDZ5IISJHXVIC2Y2D/bundle.json","state_url":"https://pith.science/pith/PDBJZV3PKIDZ5IISJHXVIC2Y2D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PDBJZV3PKIDZ5IISJHXVIC2Y2D/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-09T03:47:34Z","links":{"resolver":"https://pith.science/pith/PDBJZV3PKIDZ5IISJHXVIC2Y2D","bundle":"https://pith.science/pith/PDBJZV3PKIDZ5IISJHXVIC2Y2D/bundle.json","state":"https://pith.science/pith/PDBJZV3PKIDZ5IISJHXVIC2Y2D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PDBJZV3PKIDZ5IISJHXVIC2Y2D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:PDBJZV3PKIDZ5IISJHXVIC2Y2D","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":"ef4cdd19ec064ebd9fe7cd0a6f09884d3f058a0ac30f34f78ca17bbed66d1548","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:27:09Z","title_canon_sha256":"6aa323e02b977a1516895543b3d3d1794b8f734cc26add49c9512b9803eb6857"},"schema_version":"1.0","source":{"id":"1409.6605","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6605","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6605v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6605","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"PDBJZV3PKIDZ","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"PDBJZV3PKIDZ5IIS","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"PDBJZV3P","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:2f41b40ea03d5161cadd0e69c1ca1c1a0e5e58a551d665bdc66ee99f47bdb6bf","target":"graph","created_at":"2026-05-18T02:42:06Z","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":"This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. Testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as poss","authors_text":"Bernhard Rumpe, Jewgenij Botaschanjan, Markus Pister","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:27:09Z","title":"Testing Agile Requirements Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6605","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:a98c261bbf0a7bd1a868e1de63710e3d11d52b2f0be97e8e5618cfe133d995ac","target":"record","created_at":"2026-05-18T02:42:06Z","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":"ef4cdd19ec064ebd9fe7cd0a6f09884d3f058a0ac30f34f78ca17bbed66d1548","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:27:09Z","title_canon_sha256":"6aa323e02b977a1516895543b3d3d1794b8f734cc26add49c9512b9803eb6857"},"schema_version":"1.0","source":{"id":"1409.6605","kind":"arxiv","version":1}},"canonical_sha256":"78c29cd76f52079ea11249ef540b58d0c444f7dae821b06a86f4dd070c635acb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"78c29cd76f52079ea11249ef540b58d0c444f7dae821b06a86f4dd070c635acb","first_computed_at":"2026-05-18T02:42:06.749577Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:06.749577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jXhw1VDNOnlQk/1bX7x4JrB+Brt6Whd+15lGUc6UWvm/LIFAuBoSU8/rXjyQaZd6FbAsLSylg1EWg3wFGsB3Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:06.749951Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6605","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a98c261bbf0a7bd1a868e1de63710e3d11d52b2f0be97e8e5618cfe133d995ac","sha256:2f41b40ea03d5161cadd0e69c1ca1c1a0e5e58a551d665bdc66ee99f47bdb6bf"],"state_sha256":"4905754cc37d1c9d4909b20dbe5ef55e81c936794d7562615d9f8dd1a6dcfb7f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MVeTtZJZF+gzB3jM31RiPjauFd/9BwZk6JX4WhTBlF5q6hHTZx/j4JCkgqq8/zdy1cyLBwwjtI3A2o+8GB9NCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T03:47:34.358847Z","bundle_sha256":"e8629970941d24d247a19e49ccff075ae7d3bcda7504a25ffe9e965beb4452ab"}}