{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:FVGDG6HM2HSBLMBY67RN7XWDSA","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":"06ec57e86ade7747b2a9daf21840473d3f1801aef57733cb9f49fa9d6d895347","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-14T13:22:33Z","title_canon_sha256":"0b145f99292de844e405b1989e94cc3abca49368c7d6e914bc671a94d9bf949e"},"schema_version":"1.0","source":{"id":"1803.05260","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.05260","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"arxiv_version","alias_value":"1803.05260v1","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.05260","created_at":"2026-05-18T00:21:01Z"},{"alias_kind":"pith_short_12","alias_value":"FVGDG6HM2HSB","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"FVGDG6HM2HSBLMBY","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"FVGDG6HM","created_at":"2026-05-18T12:32:25Z"}],"graph_snapshots":[{"event_id":"sha256:e5cc103f4b240af3f2306fd1abd7562224c9e584a0ee4c4a91f57cad8cba1102","target":"graph","created_at":"2026-05-18T00:21:01Z","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 this paper, we propose a program slicing approach for the output stream object in JEE applications. Our approach is based on extracting a dependency call graph from KDM models of JEE applications. Then, it applies breath-first search algorithm to identify the program slice as a graph reachability problem. The proposed approach is implemented as an extension of our DeJEE tool.","authors_text":"Anas Shatnawi, Ghizlane El Boussaidi, Hafedh Mili, Jean Privat, Manel Abdellatif, Naouel Moha, Yann-Ga\\\"el Gu\\'eh\\'eneuc","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-14T13:22:33Z","title":"A Static Program Slicing Approach for Output Stream Objects in JEE Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.05260","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:3cff2fac9273944b5644584bea80a5a46c9e78b51751ca375db9b42f29fb586f","target":"record","created_at":"2026-05-18T00:21:01Z","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":"06ec57e86ade7747b2a9daf21840473d3f1801aef57733cb9f49fa9d6d895347","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-14T13:22:33Z","title_canon_sha256":"0b145f99292de844e405b1989e94cc3abca49368c7d6e914bc671a94d9bf949e"},"schema_version":"1.0","source":{"id":"1803.05260","kind":"arxiv","version":1}},"canonical_sha256":"2d4c3378ecd1e415b038f7e2dfdec3900ccd2233876ee753b9f404de0583347a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2d4c3378ecd1e415b038f7e2dfdec3900ccd2233876ee753b9f404de0583347a","first_computed_at":"2026-05-18T00:21:01.754773Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:01.754773Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U44upFFAvtxNiSqPwmnBzzoSa2eXZAGcQivo0aoGecBHCwGe7bJeJrH6+/b2k6p1F7QzkEbPgYgKOPMmFrycBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:01.755178Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.05260","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3cff2fac9273944b5644584bea80a5a46c9e78b51751ca375db9b42f29fb586f","sha256:e5cc103f4b240af3f2306fd1abd7562224c9e584a0ee4c4a91f57cad8cba1102"],"state_sha256":"11bec72bf39654b0fb0df3dde1d25152bd532e0ebf1b04a3749c53300345ecd8"}