{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:LYZ4SWQFLTZRFFJSWOP5LSTLBF","short_pith_number":"pith:LYZ4SWQF","schema_version":"1.0","canonical_sha256":"5e33c95a055cf3129532b39fd5ca6b09746785363ff9849623aa5993ee06e39c","source":{"kind":"arxiv","id":"1905.07671","version":1},"attestation_state":"computed","paper":{"title":"Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fu Song, Pengfei Gao, Taolue Chen, Ting Su, Yao Zeng","submitted_at":"2019-05-19T01:56:05Z","abstract_excerpt":"JavaScript has become one of the most widely used languages for Web development. However, it is challenging to ensure the correctness and reliability of Web applications written in JavaScript, due to their dynamic and event-driven features. A variety of dynamic analysis techniques for JavaScript Web applications have been proposed, but they are limited in either coverage or scalability. In this paper, we propose a model-based automated approach to achieve high code coverage in a reasonable amount of time via testing with longer event sequences. We implement our approach as the tool LJS, and pe"},"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":"1905.07671","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-19T01:56:05Z","cross_cats_sorted":[],"title_canon_sha256":"20b60bc4a58547b5425bc133f58ca1e363f290cd5cd01f886db7e103eb9ee9b6","abstract_canon_sha256":"888790b67a6bc7ad5c139230c670b79cbf1ba6fe4d845e4b29bbc0f1d1d3ce2a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:48.819609Z","signature_b64":"au+2LKoerr5eiWm4JjsJByN0wIU8BC7AW8OwjZJV/20ipfxrTCMfRt1LwqHk8PEdYf9oznbIxRJXSlLt3LznCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e33c95a055cf3129532b39fd5ca6b09746785363ff9849623aa5993ee06e39c","last_reissued_at":"2026-05-17T23:45:48.818889Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:48.818889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fu Song, Pengfei Gao, Taolue Chen, Ting Su, Yao Zeng","submitted_at":"2019-05-19T01:56:05Z","abstract_excerpt":"JavaScript has become one of the most widely used languages for Web development. However, it is challenging to ensure the correctness and reliability of Web applications written in JavaScript, due to their dynamic and event-driven features. A variety of dynamic analysis techniques for JavaScript Web applications have been proposed, but they are limited in either coverage or scalability. In this paper, we propose a model-based automated approach to achieve high code coverage in a reasonable amount of time via testing with longer event sequences. We implement our approach as the tool LJS, and pe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.07671","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":"1905.07671","created_at":"2026-05-17T23:45:48.818997+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.07671v1","created_at":"2026-05-17T23:45:48.818997+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.07671","created_at":"2026-05-17T23:45:48.818997+00:00"},{"alias_kind":"pith_short_12","alias_value":"LYZ4SWQFLTZR","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_16","alias_value":"LYZ4SWQFLTZRFFJS","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_8","alias_value":"LYZ4SWQF","created_at":"2026-05-18T12:33:21.387695+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/LYZ4SWQFLTZRFFJSWOP5LSTLBF","json":"https://pith.science/pith/LYZ4SWQFLTZRFFJSWOP5LSTLBF.json","graph_json":"https://pith.science/api/pith-number/LYZ4SWQFLTZRFFJSWOP5LSTLBF/graph.json","events_json":"https://pith.science/api/pith-number/LYZ4SWQFLTZRFFJSWOP5LSTLBF/events.json","paper":"https://pith.science/paper/LYZ4SWQF"},"agent_actions":{"view_html":"https://pith.science/pith/LYZ4SWQFLTZRFFJSWOP5LSTLBF","download_json":"https://pith.science/pith/LYZ4SWQFLTZRFFJSWOP5LSTLBF.json","view_paper":"https://pith.science/paper/LYZ4SWQF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.07671&json=true","fetch_graph":"https://pith.science/api/pith-number/LYZ4SWQFLTZRFFJSWOP5LSTLBF/graph.json","fetch_events":"https://pith.science/api/pith-number/LYZ4SWQFLTZRFFJSWOP5LSTLBF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LYZ4SWQFLTZRFFJSWOP5LSTLBF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LYZ4SWQFLTZRFFJSWOP5LSTLBF/action/storage_attestation","attest_author":"https://pith.science/pith/LYZ4SWQFLTZRFFJSWOP5LSTLBF/action/author_attestation","sign_citation":"https://pith.science/pith/LYZ4SWQFLTZRFFJSWOP5LSTLBF/action/citation_signature","submit_replication":"https://pith.science/pith/LYZ4SWQFLTZRFFJSWOP5LSTLBF/action/replication_record"}},"created_at":"2026-05-17T23:45:48.818997+00:00","updated_at":"2026-05-17T23:45:48.818997+00:00"}