{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:KEH7JXKYJPI57D6BQ5R3I6OIKL","short_pith_number":"pith:KEH7JXKY","schema_version":"1.0","canonical_sha256":"510ff4dd584bd1df8fc18763b479c852db386d7251b2ba3ac919f973f57f90bd","source":{"kind":"arxiv","id":"1403.7258","version":1},"attestation_state":"computed","paper":{"title":"Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christian Colombo (PEST Research Lab, Department of Computer Science, Mark Micallef (PEST Research Lab, Mark Scerri (PEST Research Lab, University of Malta)","submitted_at":"2014-03-28T01:04:29Z","abstract_excerpt":"One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rather than linear specifications. A disparity has traditionally been perceived between the language spoken by customers who specify the system and the language required to construct models of that system. The dynamic nature of the specifications for commercial systems further aggravates this problem in that models would need to be rechecked after every specification change. In this paper, we propose an approach for con"},"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":"1403.7258","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-03-28T01:04:29Z","cross_cats_sorted":[],"title_canon_sha256":"37a87e0842ec59904d38dac8f518d2b8cc67054e3868ee548a29b02256446e48","abstract_canon_sha256":"0e26ebecf00230dbe2f82e80c29bacfd0c03422d7a406488a0f1a56e6d78b85f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:20.100875Z","signature_b64":"WAfBG62Wdzdcjs2u1PussShXiwXxFqPuEDmd+tjZyrbtaDdVKTGQk1Rtng0lm0U6lqKWwHuZpoYgYVmFevUCDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"510ff4dd584bd1df8fc18763b479c852db386d7251b2ba3ac919f973f57f90bd","last_reissued_at":"2026-05-18T02:55:20.100344Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:20.100344Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christian Colombo (PEST Research Lab, Department of Computer Science, Mark Micallef (PEST Research Lab, Mark Scerri (PEST Research Lab, University of Malta)","submitted_at":"2014-03-28T01:04:29Z","abstract_excerpt":"One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rather than linear specifications. A disparity has traditionally been perceived between the language spoken by customers who specify the system and the language required to construct models of that system. The dynamic nature of the specifications for commercial systems further aggravates this problem in that models would need to be rechecked after every specification change. In this paper, we propose an approach for con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7258","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":"1403.7258","created_at":"2026-05-18T02:55:20.100427+00:00"},{"alias_kind":"arxiv_version","alias_value":"1403.7258v1","created_at":"2026-05-18T02:55:20.100427+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7258","created_at":"2026-05-18T02:55:20.100427+00:00"},{"alias_kind":"pith_short_12","alias_value":"KEH7JXKYJPI5","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_16","alias_value":"KEH7JXKYJPI57D6B","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_8","alias_value":"KEH7JXKY","created_at":"2026-05-18T12:28:35.611951+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/KEH7JXKYJPI57D6BQ5R3I6OIKL","json":"https://pith.science/pith/KEH7JXKYJPI57D6BQ5R3I6OIKL.json","graph_json":"https://pith.science/api/pith-number/KEH7JXKYJPI57D6BQ5R3I6OIKL/graph.json","events_json":"https://pith.science/api/pith-number/KEH7JXKYJPI57D6BQ5R3I6OIKL/events.json","paper":"https://pith.science/paper/KEH7JXKY"},"agent_actions":{"view_html":"https://pith.science/pith/KEH7JXKYJPI57D6BQ5R3I6OIKL","download_json":"https://pith.science/pith/KEH7JXKYJPI57D6BQ5R3I6OIKL.json","view_paper":"https://pith.science/paper/KEH7JXKY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1403.7258&json=true","fetch_graph":"https://pith.science/api/pith-number/KEH7JXKYJPI57D6BQ5R3I6OIKL/graph.json","fetch_events":"https://pith.science/api/pith-number/KEH7JXKYJPI57D6BQ5R3I6OIKL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KEH7JXKYJPI57D6BQ5R3I6OIKL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KEH7JXKYJPI57D6BQ5R3I6OIKL/action/storage_attestation","attest_author":"https://pith.science/pith/KEH7JXKYJPI57D6BQ5R3I6OIKL/action/author_attestation","sign_citation":"https://pith.science/pith/KEH7JXKYJPI57D6BQ5R3I6OIKL/action/citation_signature","submit_replication":"https://pith.science/pith/KEH7JXKYJPI57D6BQ5R3I6OIKL/action/replication_record"}},"created_at":"2026-05-18T02:55:20.100427+00:00","updated_at":"2026-05-18T02:55:20.100427+00:00"}