{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:EFRHUBRBNTUS5INIV5KPH6Q2VU","short_pith_number":"pith:EFRHUBRB","canonical_record":{"source":{"id":"1509.06854","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-23T06:26:16Z","cross_cats_sorted":[],"title_canon_sha256":"3ec82b49c28664dc0019b70ce69207e6241122fd34e5b912286f7a62f1ae6e18","abstract_canon_sha256":"f67f73807c67347e08a4d88b593fcf99ce2476d3282782e0e1dc558ca6076e6a"},"schema_version":"1.0"},"canonical_sha256":"21627a06216ce92ea1a8af54f3fa1aad0e279b8b289cdbc33ce56378757e498a","source":{"kind":"arxiv","id":"1509.06854","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.06854","created_at":"2026-05-18T01:32:17Z"},{"alias_kind":"arxiv_version","alias_value":"1509.06854v1","created_at":"2026-05-18T01:32:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.06854","created_at":"2026-05-18T01:32:17Z"},{"alias_kind":"pith_short_12","alias_value":"EFRHUBRBNTUS","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EFRHUBRBNTUS5INI","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EFRHUBRB","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:EFRHUBRBNTUS5INIV5KPH6Q2VU","target":"record","payload":{"canonical_record":{"source":{"id":"1509.06854","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-23T06:26:16Z","cross_cats_sorted":[],"title_canon_sha256":"3ec82b49c28664dc0019b70ce69207e6241122fd34e5b912286f7a62f1ae6e18","abstract_canon_sha256":"f67f73807c67347e08a4d88b593fcf99ce2476d3282782e0e1dc558ca6076e6a"},"schema_version":"1.0"},"canonical_sha256":"21627a06216ce92ea1a8af54f3fa1aad0e279b8b289cdbc33ce56378757e498a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:17.762736Z","signature_b64":"ebHxz4/DbYitQr8T2+jibl7KsJS2W2tY2o0xnhxN41yNB6jl7Yc8VtQuvqM9GPcHvwUviiNuX4eQLf6jbg0VCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"21627a06216ce92ea1a8af54f3fa1aad0e279b8b289cdbc33ce56378757e498a","last_reissued_at":"2026-05-18T01:32:17.762020Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:17.762020Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.06854","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:32:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w3U2Fg53WFc5jqCGlEx49qUX3ciqqSFV1FN1X1/xRFdn1ZEf0ZhFkUJuYnY1vwxQ3zCPjadIRi/E1X2hNwsvBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:38:20.788193Z"},"content_sha256":"f905f1e517e68d5fd0261178a5cbbe0793a02dd9da36895d44d37333a187e430","schema_version":"1.0","event_id":"sha256:f905f1e517e68d5fd0261178a5cbbe0793a02dd9da36895d44d37333a187e430"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:EFRHUBRBNTUS5INIV5KPH6Q2VU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bo Jiang, Peng Chen, W.K. Chan, Xinchao Zhang","submitted_at":"2015-09-23T06:26:16Z","abstract_excerpt":"An Android-based smart Television (TV) must reliably run its applications in an embedded program environment under diverse hardware resource conditions. Owing to the diverse hardware components used to build numerous TV models, TV simulators are usually not high enough in fidelity to simulate various TV models, and thus are only regarded as unreliable alternatives when stress testing such applications. Therefore, even though stress testing on real TV sets is tedious, it is the de facto approach to ensure the reliability of these applications in the industry. In this paper, we study to what ext"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.06854","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:32:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KhKh/LEEoocss97v9ablV3rh/hq1ykGDqEmGJps+ZsuJaL0rdCCi8NdeBPGlHadCcobte806WPVfUPZT+kzvBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:38:20.788862Z"},"content_sha256":"b67657c3b7122d99e0aee08cb971b326a8e5a43cebee74a06f0f33742b5b6fbc","schema_version":"1.0","event_id":"sha256:b67657c3b7122d99e0aee08cb971b326a8e5a43cebee74a06f0f33742b5b6fbc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EFRHUBRBNTUS5INIV5KPH6Q2VU/bundle.json","state_url":"https://pith.science/pith/EFRHUBRBNTUS5INIV5KPH6Q2VU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EFRHUBRBNTUS5INIV5KPH6Q2VU/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-05-26T03:38:20Z","links":{"resolver":"https://pith.science/pith/EFRHUBRBNTUS5INIV5KPH6Q2VU","bundle":"https://pith.science/pith/EFRHUBRBNTUS5INIV5KPH6Q2VU/bundle.json","state":"https://pith.science/pith/EFRHUBRBNTUS5INIV5KPH6Q2VU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EFRHUBRBNTUS5INIV5KPH6Q2VU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:EFRHUBRBNTUS5INIV5KPH6Q2VU","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":"f67f73807c67347e08a4d88b593fcf99ce2476d3282782e0e1dc558ca6076e6a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-23T06:26:16Z","title_canon_sha256":"3ec82b49c28664dc0019b70ce69207e6241122fd34e5b912286f7a62f1ae6e18"},"schema_version":"1.0","source":{"id":"1509.06854","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.06854","created_at":"2026-05-18T01:32:17Z"},{"alias_kind":"arxiv_version","alias_value":"1509.06854v1","created_at":"2026-05-18T01:32:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.06854","created_at":"2026-05-18T01:32:17Z"},{"alias_kind":"pith_short_12","alias_value":"EFRHUBRBNTUS","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EFRHUBRBNTUS5INI","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EFRHUBRB","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:b67657c3b7122d99e0aee08cb971b326a8e5a43cebee74a06f0f33742b5b6fbc","target":"graph","created_at":"2026-05-18T01:32:17Z","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":"An Android-based smart Television (TV) must reliably run its applications in an embedded program environment under diverse hardware resource conditions. Owing to the diverse hardware components used to build numerous TV models, TV simulators are usually not high enough in fidelity to simulate various TV models, and thus are only regarded as unreliable alternatives when stress testing such applications. Therefore, even though stress testing on real TV sets is tedious, it is the de facto approach to ensure the reliability of these applications in the industry. In this paper, we study to what ext","authors_text":"Bo Jiang, Peng Chen, W.K. Chan, Xinchao Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-23T06:26:16Z","title":"To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.06854","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:f905f1e517e68d5fd0261178a5cbbe0793a02dd9da36895d44d37333a187e430","target":"record","created_at":"2026-05-18T01:32:17Z","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":"f67f73807c67347e08a4d88b593fcf99ce2476d3282782e0e1dc558ca6076e6a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-23T06:26:16Z","title_canon_sha256":"3ec82b49c28664dc0019b70ce69207e6241122fd34e5b912286f7a62f1ae6e18"},"schema_version":"1.0","source":{"id":"1509.06854","kind":"arxiv","version":1}},"canonical_sha256":"21627a06216ce92ea1a8af54f3fa1aad0e279b8b289cdbc33ce56378757e498a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"21627a06216ce92ea1a8af54f3fa1aad0e279b8b289cdbc33ce56378757e498a","first_computed_at":"2026-05-18T01:32:17.762020Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:17.762020Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ebHxz4/DbYitQr8T2+jibl7KsJS2W2tY2o0xnhxN41yNB6jl7Yc8VtQuvqM9GPcHvwUviiNuX4eQLf6jbg0VCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:17.762736Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.06854","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f905f1e517e68d5fd0261178a5cbbe0793a02dd9da36895d44d37333a187e430","sha256:b67657c3b7122d99e0aee08cb971b326a8e5a43cebee74a06f0f33742b5b6fbc"],"state_sha256":"b3c82daf6aa855c018712bd53c5c325c8142537e84cb8950da76ab76d9bbb629"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IjWj0qwpdUAoRzBt1Ckw2QQttsglQtf3yzY7jGChmmSe8nZDzGpfatp+bB+FVKVQsJwQb6rdKclhtvUvkpjkDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T03:38:20.792382Z","bundle_sha256":"ee0b627e7640eb998c97be1633172183b26be52bb921873d9afcb2cbad61c4fa"}}