{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:7PSVPYN45A2L4IOXFBRLVZ26WV","short_pith_number":"pith:7PSVPYN4","schema_version":"1.0","canonical_sha256":"fbe557e1bce834be21d72862bae75eb57ff721697ec3955e23a3c3ab2ac7c6c4","source":{"kind":"arxiv","id":"1902.00231","version":1},"attestation_state":"computed","paper":{"title":"AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Asmau Usman, Bestoun S. Ahmed, Ibrahim-Anka Salihu, Kamal Z. Zamli, Rosziati Ibrahim","submitted_at":"2019-02-01T08:52:27Z","abstract_excerpt":"In the past few years, mobile devices have been increasingly replacing traditional computers as their capabilities such as CPU computation, memory, RAM size, and many more, are being enhanced almost to the level of conventional computers. These capabilities are being exploited by mobile apps developers to produce apps that offer more functionalities and optimized performance. To ensure acceptable quality and to meet their specifications (e.g., design), mobile apps need to be tested thoroughly. As the testing process is often tedious, test automation can be the key to alleviating such laborious"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1902.00231","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-01T08:52:27Z","cross_cats_sorted":[],"title_canon_sha256":"0c37518bab4c7661b5199d059686a14ca120e02aec0eea4f06f6a3d3d3b5bcc8","abstract_canon_sha256":"1edef0c3e5afe6fd32b29ada68ea1107c13515e38016e17d24a5f334f8f9274c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:57.964570Z","signature_b64":"qDAdm7aRSLI6em6Tcnkpn3CvD1LdetMOiTjHnk9HEzJtp7kqdLJh69SpDTlF6xeaphHTDidK+5SYRvRhiVn3CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fbe557e1bce834be21d72862bae75eb57ff721697ec3955e23a3c3ab2ac7c6c4","last_reissued_at":"2026-05-17T23:54:57.963984Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:57.963984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Asmau Usman, Bestoun S. Ahmed, Ibrahim-Anka Salihu, Kamal Z. Zamli, Rosziati Ibrahim","submitted_at":"2019-02-01T08:52:27Z","abstract_excerpt":"In the past few years, mobile devices have been increasingly replacing traditional computers as their capabilities such as CPU computation, memory, RAM size, and many more, are being enhanced almost to the level of conventional computers. These capabilities are being exploited by mobile apps developers to produce apps that offer more functionalities and optimized performance. To ensure acceptable quality and to meet their specifications (e.g., design), mobile apps need to be tested thoroughly. As the testing process is often tedious, test automation can be the key to alleviating such laborious"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00231","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1902.00231","created_at":"2026-05-17T23:54:57.964075+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.00231v1","created_at":"2026-05-17T23:54:57.964075+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00231","created_at":"2026-05-17T23:54:57.964075+00:00"},{"alias_kind":"pith_short_12","alias_value":"7PSVPYN45A2L","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"7PSVPYN45A2L4IOX","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"7PSVPYN4","created_at":"2026-05-18T12:33:12.712433+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV","json":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV.json","graph_json":"https://pith.science/api/pith-number/7PSVPYN45A2L4IOXFBRLVZ26WV/graph.json","events_json":"https://pith.science/api/pith-number/7PSVPYN45A2L4IOXFBRLVZ26WV/events.json","paper":"https://pith.science/paper/7PSVPYN4"},"agent_actions":{"view_html":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV","download_json":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV.json","view_paper":"https://pith.science/paper/7PSVPYN4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.00231&json=true","fetch_graph":"https://pith.science/api/pith-number/7PSVPYN45A2L4IOXFBRLVZ26WV/graph.json","fetch_events":"https://pith.science/api/pith-number/7PSVPYN45A2L4IOXFBRLVZ26WV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV/action/storage_attestation","attest_author":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV/action/author_attestation","sign_citation":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV/action/citation_signature","submit_replication":"https://pith.science/pith/7PSVPYN45A2L4IOXFBRLVZ26WV/action/replication_record"}},"created_at":"2026-05-17T23:54:57.964075+00:00","updated_at":"2026-05-17T23:54:57.964075+00:00"}