{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:Z72XC4R5TMA7VW7ZKNWVFYGIGT","short_pith_number":"pith:Z72XC4R5","canonical_record":{"source":{"id":"1809.01607","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-09-05T16:24:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"09f76292879fa772d5aa965b951477facbad3d28aba9c25503fe6a9b2aef7b29","abstract_canon_sha256":"508317404c50d9c70935d25d41c11513bc897667aaa38e4be53141457b5c0a22"},"schema_version":"1.0"},"canonical_sha256":"cff571723d9b01fadbf9536d52e0c834f5edd7258604b0651b6f5e748f364d07","source":{"kind":"arxiv","id":"1809.01607","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.01607","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"arxiv_version","alias_value":"1809.01607v1","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.01607","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"pith_short_12","alias_value":"Z72XC4R5TMA7","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Z72XC4R5TMA7VW7Z","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Z72XC4R5","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:Z72XC4R5TMA7VW7ZKNWVFYGIGT","target":"record","payload":{"canonical_record":{"source":{"id":"1809.01607","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-09-05T16:24:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"09f76292879fa772d5aa965b951477facbad3d28aba9c25503fe6a9b2aef7b29","abstract_canon_sha256":"508317404c50d9c70935d25d41c11513bc897667aaa38e4be53141457b5c0a22"},"schema_version":"1.0"},"canonical_sha256":"cff571723d9b01fadbf9536d52e0c834f5edd7258604b0651b6f5e748f364d07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:10.934109Z","signature_b64":"rbhWf9iUdVXZPDYqsBoXcSAxKLovylHT6s4P36mUH93vC59I5e6PRx50RiaefycudmPdszPVbs6myDTrg2y3Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cff571723d9b01fadbf9536d52e0c834f5edd7258604b0651b6f5e748f364d07","last_reissued_at":"2026-05-18T00:06:10.933382Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:10.933382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.01607","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:06:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cUaRaEQbKqa5eEiNtxJMwA6sTPev6rgTSgpmh80DmblCzjRzbEw3GRuvHD8DP/1EOw+Uj7I8mc0VjKyi3VQQCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T17:04:50.255657Z"},"content_sha256":"ed9e36652752806fdea7e55dc2e4ca4fb8330f76735c2df79d04b0240a869d09","schema_version":"1.0","event_id":"sha256:ed9e36652752806fdea7e55dc2e4ca4fb8330f76735c2df79d04b0240a869d09"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:Z72XC4R5TMA7VW7ZKNWVFYGIGT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesizing Adaptive Test Strategies from Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Fabian Greif, Franz Roeck, Goerschwin Fey, Heinz Riener, Ingo Pill, Robert Koenighofer, Roderick Bloem","submitted_at":"2018-09-05T16:24:51Z","abstract_excerpt":"Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a new approach to compute test strategies for reactive systems from a given temporal logic specification using formal methods. The computed strategies are guaranteed to reveal certain simple faults in every realization of the specification and for every behavior of the uncontrollable part of the system's environment. The proposed approach supports different assumptions on occurrences of faults (ranging from a single tra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.01607","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:06:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hUclEKTWNo47v4Gt00O6H0zlxEaV9Fphx5WeQY5E3eGjuFtQqget/hkkNEy8w9OykTsAylkuVHC3gBvR5sTUDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T17:04:50.256552Z"},"content_sha256":"07458a4ec597d4263193bbb0373c283cc1f03cffc082785116b4274ff447acbb","schema_version":"1.0","event_id":"sha256:07458a4ec597d4263193bbb0373c283cc1f03cffc082785116b4274ff447acbb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z72XC4R5TMA7VW7ZKNWVFYGIGT/bundle.json","state_url":"https://pith.science/pith/Z72XC4R5TMA7VW7ZKNWVFYGIGT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z72XC4R5TMA7VW7ZKNWVFYGIGT/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-29T17:04:50Z","links":{"resolver":"https://pith.science/pith/Z72XC4R5TMA7VW7ZKNWVFYGIGT","bundle":"https://pith.science/pith/Z72XC4R5TMA7VW7ZKNWVFYGIGT/bundle.json","state":"https://pith.science/pith/Z72XC4R5TMA7VW7ZKNWVFYGIGT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z72XC4R5TMA7VW7ZKNWVFYGIGT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Z72XC4R5TMA7VW7ZKNWVFYGIGT","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":"508317404c50d9c70935d25d41c11513bc897667aaa38e4be53141457b5c0a22","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-09-05T16:24:51Z","title_canon_sha256":"09f76292879fa772d5aa965b951477facbad3d28aba9c25503fe6a9b2aef7b29"},"schema_version":"1.0","source":{"id":"1809.01607","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.01607","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"arxiv_version","alias_value":"1809.01607v1","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.01607","created_at":"2026-05-18T00:06:10Z"},{"alias_kind":"pith_short_12","alias_value":"Z72XC4R5TMA7","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Z72XC4R5TMA7VW7Z","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Z72XC4R5","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:07458a4ec597d4263193bbb0373c283cc1f03cffc082785116b4274ff447acbb","target":"graph","created_at":"2026-05-18T00:06:10Z","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":"Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a new approach to compute test strategies for reactive systems from a given temporal logic specification using formal methods. The computed strategies are guaranteed to reveal certain simple faults in every realization of the specification and for every behavior of the uncontrollable part of the system's environment. The proposed approach supports different assumptions on occurrences of faults (ranging from a single tra","authors_text":"Fabian Greif, Franz Roeck, Goerschwin Fey, Heinz Riener, Ingo Pill, Robert Koenighofer, Roderick Bloem","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-09-05T16:24:51Z","title":"Synthesizing Adaptive Test Strategies from Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.01607","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:ed9e36652752806fdea7e55dc2e4ca4fb8330f76735c2df79d04b0240a869d09","target":"record","created_at":"2026-05-18T00:06:10Z","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":"508317404c50d9c70935d25d41c11513bc897667aaa38e4be53141457b5c0a22","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-09-05T16:24:51Z","title_canon_sha256":"09f76292879fa772d5aa965b951477facbad3d28aba9c25503fe6a9b2aef7b29"},"schema_version":"1.0","source":{"id":"1809.01607","kind":"arxiv","version":1}},"canonical_sha256":"cff571723d9b01fadbf9536d52e0c834f5edd7258604b0651b6f5e748f364d07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cff571723d9b01fadbf9536d52e0c834f5edd7258604b0651b6f5e748f364d07","first_computed_at":"2026-05-18T00:06:10.933382Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:10.933382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rbhWf9iUdVXZPDYqsBoXcSAxKLovylHT6s4P36mUH93vC59I5e6PRx50RiaefycudmPdszPVbs6myDTrg2y3Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:10.934109Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.01607","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ed9e36652752806fdea7e55dc2e4ca4fb8330f76735c2df79d04b0240a869d09","sha256:07458a4ec597d4263193bbb0373c283cc1f03cffc082785116b4274ff447acbb"],"state_sha256":"dbe5a113ee3f007a658b024315d950fdf857bae4c2359cbc48ca9778163e4ee2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0kGY98dT0SD1yHpbtzqXF1xyabsBDAKXr+v+JD7FOozYaG1FiYrF/g6/My0Ipx+0kSjVymLSv7xpttuUawy+Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T17:04:50.259951Z","bundle_sha256":"bfc5ede68608da225e5e041756a05f9ad837ca6e7b27ccab77e4dbf8454c65c3"}}