{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:SVEYTWTEQCE73G7SDCRFZTAVKH","short_pith_number":"pith:SVEYTWTE","canonical_record":{"source":{"id":"1603.08577","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T22:06:15Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"5e02eaff1f404ab63b3863903e226572d8e9749fb4fd16f2618ea55018260918","abstract_canon_sha256":"6d213085e392f1ff11cf139a25d0df8b839e2e58c3e802eda60e1260c871aa25"},"schema_version":"1.0"},"canonical_sha256":"954989da648089fd9bf218a25ccc1551e24bfed83fd5c7d944fc64cb19907eba","source":{"kind":"arxiv","id":"1603.08577","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08577","created_at":"2026-05-18T01:18:06Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08577v1","created_at":"2026-05-18T01:18:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08577","created_at":"2026-05-18T01:18:06Z"},{"alias_kind":"pith_short_12","alias_value":"SVEYTWTEQCE7","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SVEYTWTEQCE73G7S","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SVEYTWTE","created_at":"2026-05-18T12:30:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:SVEYTWTEQCE73G7SDCRFZTAVKH","target":"record","payload":{"canonical_record":{"source":{"id":"1603.08577","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T22:06:15Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"5e02eaff1f404ab63b3863903e226572d8e9749fb4fd16f2618ea55018260918","abstract_canon_sha256":"6d213085e392f1ff11cf139a25d0df8b839e2e58c3e802eda60e1260c871aa25"},"schema_version":"1.0"},"canonical_sha256":"954989da648089fd9bf218a25ccc1551e24bfed83fd5c7d944fc64cb19907eba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:06.021182Z","signature_b64":"SOEpFnUQ5rn70dYnG28DoR/vBRyc2Y7A3gi6OQZjMqymsfUKkTKbytuG8aSilGG4zai6FK6TlCrrfW/BoHx3CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"954989da648089fd9bf218a25ccc1551e24bfed83fd5c7d944fc64cb19907eba","last_reissued_at":"2026-05-18T01:18:06.020568Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:06.020568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.08577","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-18T01:18:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z6c2y5LltzaKLuw13kkM+1XpeCUZu+MNg4/GmSxGLu6EnTPxyr2jKAMmDTDC10bwLWPohOD+e5MtbWlmCAdGCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:09:17.170921Z"},"content_sha256":"b73894927d9640a58d8718d97d214b66eb241f3c0572757d363136e9daa1c529","schema_version":"1.0","event_id":"sha256:b73894927d9640a58d8718d97d214b66eb241f3c0572757d363136e9daa1c529"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:SVEYTWTEQCE73G7SDCRFZTAVKH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SE","authors_text":"Julia Rubin, Thomas Th\\\"um","submitted_at":"2016-03-28T22:06:15Z","abstract_excerpt":"In Software Product Line Engineering (SPLE), a portfolio of similar systems is developed from a shared set of software assets. Claimed benefits of SPLE include reductions in the portfolio size, cost of software development and time to production, as well as improvements in the quality of the delivered systems. Yet, despite these benefits, SPLE is still in the early adoption stage. We believe that automated approaches, tools and techniques that provide better support for SPLE activities can further facilitate its adoption in practice and increase its benefits.\n  To promote work in this area, th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08577","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-18T01:18:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Coh8q3nnHBrzwtNZr4p+rS6UeU/srkuZQOnZgivMwm1gN865kJgAXCncgIO4xKjToGDALk9rqUUl+aNSEZmsAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:09:17.171299Z"},"content_sha256":"72e57b3c1636cee83709527d2182095e9abe15ef11f49a2635ac7c7ac1eece67","schema_version":"1.0","event_id":"sha256:72e57b3c1636cee83709527d2182095e9abe15ef11f49a2635ac7c7ac1eece67"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SVEYTWTEQCE73G7SDCRFZTAVKH/bundle.json","state_url":"https://pith.science/pith/SVEYTWTEQCE73G7SDCRFZTAVKH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SVEYTWTEQCE73G7SDCRFZTAVKH/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-02T06:09:17Z","links":{"resolver":"https://pith.science/pith/SVEYTWTEQCE73G7SDCRFZTAVKH","bundle":"https://pith.science/pith/SVEYTWTEQCE73G7SDCRFZTAVKH/bundle.json","state":"https://pith.science/pith/SVEYTWTEQCE73G7SDCRFZTAVKH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SVEYTWTEQCE73G7SDCRFZTAVKH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:SVEYTWTEQCE73G7SDCRFZTAVKH","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":"6d213085e392f1ff11cf139a25d0df8b839e2e58c3e802eda60e1260c871aa25","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T22:06:15Z","title_canon_sha256":"5e02eaff1f404ab63b3863903e226572d8e9749fb4fd16f2618ea55018260918"},"schema_version":"1.0","source":{"id":"1603.08577","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08577","created_at":"2026-05-18T01:18:06Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08577v1","created_at":"2026-05-18T01:18:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08577","created_at":"2026-05-18T01:18:06Z"},{"alias_kind":"pith_short_12","alias_value":"SVEYTWTEQCE7","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SVEYTWTEQCE73G7S","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SVEYTWTE","created_at":"2026-05-18T12:30:44Z"}],"graph_snapshots":[{"event_id":"sha256:72e57b3c1636cee83709527d2182095e9abe15ef11f49a2635ac7c7ac1eece67","target":"graph","created_at":"2026-05-18T01:18: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":"In Software Product Line Engineering (SPLE), a portfolio of similar systems is developed from a shared set of software assets. Claimed benefits of SPLE include reductions in the portfolio size, cost of software development and time to production, as well as improvements in the quality of the delivered systems. Yet, despite these benefits, SPLE is still in the early adoption stage. We believe that automated approaches, tools and techniques that provide better support for SPLE activities can further facilitate its adoption in practice and increase its benefits.\n  To promote work in this area, th","authors_text":"Julia Rubin, Thomas Th\\\"um","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T22:06:15Z","title":"Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08577","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:b73894927d9640a58d8718d97d214b66eb241f3c0572757d363136e9daa1c529","target":"record","created_at":"2026-05-18T01:18: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":"6d213085e392f1ff11cf139a25d0df8b839e2e58c3e802eda60e1260c871aa25","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-28T22:06:15Z","title_canon_sha256":"5e02eaff1f404ab63b3863903e226572d8e9749fb4fd16f2618ea55018260918"},"schema_version":"1.0","source":{"id":"1603.08577","kind":"arxiv","version":1}},"canonical_sha256":"954989da648089fd9bf218a25ccc1551e24bfed83fd5c7d944fc64cb19907eba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"954989da648089fd9bf218a25ccc1551e24bfed83fd5c7d944fc64cb19907eba","first_computed_at":"2026-05-18T01:18:06.020568Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:18:06.020568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SOEpFnUQ5rn70dYnG28DoR/vBRyc2Y7A3gi6OQZjMqymsfUKkTKbytuG8aSilGG4zai6FK6TlCrrfW/BoHx3CA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:18:06.021182Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.08577","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b73894927d9640a58d8718d97d214b66eb241f3c0572757d363136e9daa1c529","sha256:72e57b3c1636cee83709527d2182095e9abe15ef11f49a2635ac7c7ac1eece67"],"state_sha256":"e482e5cd6b95b7f34108ea9342b280a7e6badf744ef2c59b34da959895d3fc3e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ax3sIR+YG9O95P8JjMRCaV8Bmwug5PdxWRaYpgFlUGDbxZstLy8MyDa/GOj5LhyP5bqideQoG52H3vaai3hzDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T06:09:17.173515Z","bundle_sha256":"9261be87ae76f17cc7fc609d71671b6135586570d699dba521524d30324a9bc9"}}