{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:PY25GNOSIQ234XLBRV5Y4CKXAR","short_pith_number":"pith:PY25GNOS","schema_version":"1.0","canonical_sha256":"7e35d335d24435be5d618d7b8e0957047ffaafd84539fee7fe03f2dc93b341d3","source":{"kind":"arxiv","id":"1312.6201","version":1},"attestation_state":"computed","paper":{"title":"Coverage Games for Testing Nondeterministic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SE","authors_text":"Chung-Hao Huang, Farn Wang, Jung-Hsuan Wu, Sven Schewe","submitted_at":"2013-12-21T04:00:26Z","abstract_excerpt":"Modern software systems may exhibit a nondeterministic behavior due to many unpredictable factors. In this work, we propose the node coverage game, a two player turn-based game played on a finite game graph, as a formalization of the problem to test such systems. Each node in the graph represents a {\\em functional equivalence class} of the software under test (SUT). One player, the tester, wants to maximize the node coverage, measured by the number of nodes visited when exploring the game graphs, while his opponent, the SUT, wants to minimize it. An optimal test would maximize the cover, and i"},"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":"1312.6201","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-12-21T04:00:26Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"72bc0736cfef77a84f4f9feadae02dcde5d2931c82e3a352451dc99f8477da0e","abstract_canon_sha256":"336a09cbd162f9481e758815acb203059b15ea8634e3265fad477d9d6bed44cf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:04:05.809521Z","signature_b64":"dMfMUci++Kk5mjpvgKIUNqL6DfALdcUqD0fs8WE2IvV4ZB1s6RQj+pqovubYpPoN5Z1x4a7oyZyTvbuqAsMOBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e35d335d24435be5d618d7b8e0957047ffaafd84539fee7fe03f2dc93b341d3","last_reissued_at":"2026-05-18T03:04:05.808855Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:04:05.808855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Coverage Games for Testing Nondeterministic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SE","authors_text":"Chung-Hao Huang, Farn Wang, Jung-Hsuan Wu, Sven Schewe","submitted_at":"2013-12-21T04:00:26Z","abstract_excerpt":"Modern software systems may exhibit a nondeterministic behavior due to many unpredictable factors. In this work, we propose the node coverage game, a two player turn-based game played on a finite game graph, as a formalization of the problem to test such systems. Each node in the graph represents a {\\em functional equivalence class} of the software under test (SUT). One player, the tester, wants to maximize the node coverage, measured by the number of nodes visited when exploring the game graphs, while his opponent, the SUT, wants to minimize it. An optimal test would maximize the cover, and i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6201","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":"1312.6201","created_at":"2026-05-18T03:04:05.808954+00:00"},{"alias_kind":"arxiv_version","alias_value":"1312.6201v1","created_at":"2026-05-18T03:04:05.808954+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6201","created_at":"2026-05-18T03:04:05.808954+00:00"},{"alias_kind":"pith_short_12","alias_value":"PY25GNOSIQ23","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_16","alias_value":"PY25GNOSIQ234XLB","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_8","alias_value":"PY25GNOS","created_at":"2026-05-18T12:27:57.521954+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/PY25GNOSIQ234XLBRV5Y4CKXAR","json":"https://pith.science/pith/PY25GNOSIQ234XLBRV5Y4CKXAR.json","graph_json":"https://pith.science/api/pith-number/PY25GNOSIQ234XLBRV5Y4CKXAR/graph.json","events_json":"https://pith.science/api/pith-number/PY25GNOSIQ234XLBRV5Y4CKXAR/events.json","paper":"https://pith.science/paper/PY25GNOS"},"agent_actions":{"view_html":"https://pith.science/pith/PY25GNOSIQ234XLBRV5Y4CKXAR","download_json":"https://pith.science/pith/PY25GNOSIQ234XLBRV5Y4CKXAR.json","view_paper":"https://pith.science/paper/PY25GNOS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1312.6201&json=true","fetch_graph":"https://pith.science/api/pith-number/PY25GNOSIQ234XLBRV5Y4CKXAR/graph.json","fetch_events":"https://pith.science/api/pith-number/PY25GNOSIQ234XLBRV5Y4CKXAR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PY25GNOSIQ234XLBRV5Y4CKXAR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PY25GNOSIQ234XLBRV5Y4CKXAR/action/storage_attestation","attest_author":"https://pith.science/pith/PY25GNOSIQ234XLBRV5Y4CKXAR/action/author_attestation","sign_citation":"https://pith.science/pith/PY25GNOSIQ234XLBRV5Y4CKXAR/action/citation_signature","submit_replication":"https://pith.science/pith/PY25GNOSIQ234XLBRV5Y4CKXAR/action/replication_record"}},"created_at":"2026-05-18T03:04:05.808954+00:00","updated_at":"2026-05-18T03:04:05.808954+00:00"}