{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:MTTY6EEHTK4BFP6D6R5CSVMGYL","short_pith_number":"pith:MTTY6EEH","schema_version":"1.0","canonical_sha256":"64e78f10879ab812bfc3f47a295586c2c0b5832a251e8a31fb5b45908c6c058b","source":{"kind":"arxiv","id":"2206.05457","version":1},"attestation_state":"computed","paper":{"title":"Testing Ocean Software with Metamorphic Testing","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hai L. Vu, Huai Liu, Quang-Hung Luu, Tsong Yueh Chen","submitted_at":"2022-06-11T08:06:11Z","abstract_excerpt":"Advancing ocean science has a significant impact to the development of the world, from operating a safe navigation for vessels to maintaining a healthy and diverse ocean ecosystem. Various ocean software systems have been extensively adopted for different purposes, for instance, predicting hourly sea level elevation across shorelines, simulating large-scale ocean circulations, as well as integrating into Earth system models for weather forecasts and climate projections. Regardless of their significance, guaranteeing the trustworthiness of ocean software and modelling systems is a long-standing"},"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":"2206.05457","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2022-06-11T08:06:11Z","cross_cats_sorted":[],"title_canon_sha256":"59be5d9af9de3e931b6cc23178e782f74c5974ccd8c156419b7f9594899de1ff","abstract_canon_sha256":"30d367e6af1f65c08b56b6017f74d0eb04f231e691f600f2afa1e7294b7c4fff"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:30:59.589509Z","signature_b64":"pOoNqJNzfnqhVN+iApAjjLA1YXMEZx6maZ2YwyshrzIWzQqZt/YBfteTisUK26nnaDA9v1H2BZXs1dpkDsyzDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"64e78f10879ab812bfc3f47a295586c2c0b5832a251e8a31fb5b45908c6c058b","last_reissued_at":"2026-07-05T04:30:59.589094Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:30:59.589094Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Testing Ocean Software with Metamorphic Testing","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hai L. Vu, Huai Liu, Quang-Hung Luu, Tsong Yueh Chen","submitted_at":"2022-06-11T08:06:11Z","abstract_excerpt":"Advancing ocean science has a significant impact to the development of the world, from operating a safe navigation for vessels to maintaining a healthy and diverse ocean ecosystem. Various ocean software systems have been extensively adopted for different purposes, for instance, predicting hourly sea level elevation across shorelines, simulating large-scale ocean circulations, as well as integrating into Earth system models for weather forecasts and climate projections. Regardless of their significance, guaranteeing the trustworthiness of ocean software and modelling systems is a long-standing"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.05457","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2206.05457/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2206.05457","created_at":"2026-07-05T04:30:59.589154+00:00"},{"alias_kind":"arxiv_version","alias_value":"2206.05457v1","created_at":"2026-07-05T04:30:59.589154+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.05457","created_at":"2026-07-05T04:30:59.589154+00:00"},{"alias_kind":"pith_short_12","alias_value":"MTTY6EEHTK4B","created_at":"2026-07-05T04:30:59.589154+00:00"},{"alias_kind":"pith_short_16","alias_value":"MTTY6EEHTK4BFP6D","created_at":"2026-07-05T04:30:59.589154+00:00"},{"alias_kind":"pith_short_8","alias_value":"MTTY6EEH","created_at":"2026-07-05T04:30:59.589154+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/MTTY6EEHTK4BFP6D6R5CSVMGYL","json":"https://pith.science/pith/MTTY6EEHTK4BFP6D6R5CSVMGYL.json","graph_json":"https://pith.science/api/pith-number/MTTY6EEHTK4BFP6D6R5CSVMGYL/graph.json","events_json":"https://pith.science/api/pith-number/MTTY6EEHTK4BFP6D6R5CSVMGYL/events.json","paper":"https://pith.science/paper/MTTY6EEH"},"agent_actions":{"view_html":"https://pith.science/pith/MTTY6EEHTK4BFP6D6R5CSVMGYL","download_json":"https://pith.science/pith/MTTY6EEHTK4BFP6D6R5CSVMGYL.json","view_paper":"https://pith.science/paper/MTTY6EEH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2206.05457&json=true","fetch_graph":"https://pith.science/api/pith-number/MTTY6EEHTK4BFP6D6R5CSVMGYL/graph.json","fetch_events":"https://pith.science/api/pith-number/MTTY6EEHTK4BFP6D6R5CSVMGYL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MTTY6EEHTK4BFP6D6R5CSVMGYL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MTTY6EEHTK4BFP6D6R5CSVMGYL/action/storage_attestation","attest_author":"https://pith.science/pith/MTTY6EEHTK4BFP6D6R5CSVMGYL/action/author_attestation","sign_citation":"https://pith.science/pith/MTTY6EEHTK4BFP6D6R5CSVMGYL/action/citation_signature","submit_replication":"https://pith.science/pith/MTTY6EEHTK4BFP6D6R5CSVMGYL/action/replication_record"}},"created_at":"2026-07-05T04:30:59.589154+00:00","updated_at":"2026-07-05T04:30:59.589154+00:00"}