{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OIFZ5UTMU7EIWHGWSG4FAIESRY","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":"491de8aa19a505d9b35acac7897b3db04af7561071aaf8d41bd88a6f400b0306","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-11-28T14:19:04Z","title_canon_sha256":"c51cad9ef8ebf7d11d05824116aa022fa9c30ce8993c04ad92321134bb5e3780"},"schema_version":"1.0","source":{"id":"2511.23213","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.23213","created_at":"2026-07-20T01:18:23Z"},{"alias_kind":"arxiv_version","alias_value":"2511.23213v3","created_at":"2026-07-20T01:18:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.23213","created_at":"2026-07-20T01:18:23Z"},{"alias_kind":"pith_short_12","alias_value":"OIFZ5UTMU7EI","created_at":"2026-07-20T01:18:23Z"},{"alias_kind":"pith_short_16","alias_value":"OIFZ5UTMU7EIWHGW","created_at":"2026-07-20T01:18:23Z"},{"alias_kind":"pith_short_8","alias_value":"OIFZ5UTM","created_at":"2026-07-20T01:18:23Z"}],"graph_snapshots":[{"event_id":"sha256:80c859f801bbadb70f47e548a0b7f74fa19ceb53dd3a34a28b9d068c448b95fa","target":"graph","created_at":"2026-07-20T01:18:23Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2511.23213/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Targeted execution of Android applications (apps) remains a longstanding challenge for software testing and analysis. Although recent advances in GUI testing have substantially improved app exploration, existing approaches remain largely coverage-driven and struggle to steer execution reliably toward specific methods of interest. This limitation hinders important downstream tasks, such as vulnerability detection, program comprehension, and dynamic analysis.\n  We present GAPS (Graph-based Automated Path Synthesizer), the first approach to bridge static program analysis and dynamic GUI explorati","authors_text":"Alexander Pilgun, Eleonora Losiouk, Jacques Klein, Jordan Samhi, Samuele Doria","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-11-28T14:19:04Z","title":"GAPS: Targeted Execution of Android Apps via Static Path Reconstruction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.23213","kind":"arxiv","version":3},"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:50fd378a80259f4ee585717ebca9cf864f66d0377a03ff042a72e17b155ecbfa","target":"record","created_at":"2026-07-20T01:18:23Z","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":"491de8aa19a505d9b35acac7897b3db04af7561071aaf8d41bd88a6f400b0306","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-11-28T14:19:04Z","title_canon_sha256":"c51cad9ef8ebf7d11d05824116aa022fa9c30ce8993c04ad92321134bb5e3780"},"schema_version":"1.0","source":{"id":"2511.23213","kind":"arxiv","version":3}},"canonical_sha256":"720b9ed26ca7c88b1cd691b85020928e3e870897dcb20edd221ccd397d7b4d4b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"720b9ed26ca7c88b1cd691b85020928e3e870897dcb20edd221ccd397d7b4d4b","first_computed_at":"2026-07-20T01:18:23.294302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T01:18:23.294302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lngmFZq5Y/PuiAvv25Lb1vXcLDwor6MrqKHtlhM1eqbdziqlOi9rccIRFO1HEr7SMw24qTNOT8yen5HqPnatAg==","signature_status":"signed_v1","signed_at":"2026-07-20T01:18:23.295236Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.23213","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:50fd378a80259f4ee585717ebca9cf864f66d0377a03ff042a72e17b155ecbfa","sha256:80c859f801bbadb70f47e548a0b7f74fa19ceb53dd3a34a28b9d068c448b95fa"],"state_sha256":"eaa9cda63c4a3df4f619c9e9ca2f6a4ff2fe75af575923c09c3ed28d2a202927"}