{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4KB3L22KZHNB5WT6LE7DZRWLIT","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":"86741ef6d652693fc64fdb353a2a6644f0c5560846b9128a19164174f5d4282e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-08-29T07:19:14Z","title_canon_sha256":"9617c96c69d4cb6dcac456a43c707f9de4a5ab44ecb4eebc7edc098bd6a30721"},"schema_version":"1.0","source":{"id":"1708.08613","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.08613","created_at":"2026-05-18T00:36:27Z"},{"alias_kind":"arxiv_version","alias_value":"1708.08613v1","created_at":"2026-05-18T00:36:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.08613","created_at":"2026-05-18T00:36:27Z"},{"alias_kind":"pith_short_12","alias_value":"4KB3L22KZHNB","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4KB3L22KZHNB5WT6","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4KB3L22K","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:2ae0d5dcfdc1453f527b94b973482c04914caa8daca150d2c582a91bb04988dc","target":"graph","created_at":"2026-05-18T00:36:27Z","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":"We consider the problem of generating relevant execution traces to test rich interactive applications. Rich interactive applications, such as apps on mobile platforms, are complex stateful and often distributed systems where sufficiently exercising the app with user-interaction (UI) event sequences to expose defects is both hard and time-consuming. In particular, there is a fundamental tension between brute-force random UI exercising tools, which are fully-automated but offer low relevance, and UI test scripts, which are manual but offer high relevance. In this paper, we consider a middle way-","authors_text":"Bor-Yuh Evan Chang, Edmund S.L. Lam, Peilun Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-08-29T07:19:14Z","title":"ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.08613","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:f2b5c69b979b41fe304575eb6d68f84ebe736127c8c85aa402fb38f1d3a4879b","target":"record","created_at":"2026-05-18T00:36:27Z","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":"86741ef6d652693fc64fdb353a2a6644f0c5560846b9128a19164174f5d4282e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-08-29T07:19:14Z","title_canon_sha256":"9617c96c69d4cb6dcac456a43c707f9de4a5ab44ecb4eebc7edc098bd6a30721"},"schema_version":"1.0","source":{"id":"1708.08613","kind":"arxiv","version":1}},"canonical_sha256":"e283b5eb4ac9da1eda7e593e3cc6cb44fb84d4cad6a7ae8cc400db2a5af787ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e283b5eb4ac9da1eda7e593e3cc6cb44fb84d4cad6a7ae8cc400db2a5af787ea","first_computed_at":"2026-05-18T00:36:27.251950Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:27.251950Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aqztthMBfer7wtV8m8XyGzBUHV7Rwr78p259WUKS8jWo6ZGuCOhZCLtcsstyDguxi8FvsSbLZREazDKrwTnKBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:27.252527Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.08613","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f2b5c69b979b41fe304575eb6d68f84ebe736127c8c85aa402fb38f1d3a4879b","sha256:2ae0d5dcfdc1453f527b94b973482c04914caa8daca150d2c582a91bb04988dc"],"state_sha256":"e19a5f587dfb6b5a50c65db497df129e5f30484741e057ff4c4e3908e4e9bb44"}