{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:3BITRW3FJAJHFZDMLO2D4W7SAL","short_pith_number":"pith:3BITRW3F","schema_version":"1.0","canonical_sha256":"d85138db65481272e46c5bb43e5bf202f45fee9f1fb5e72fe6335975bd24a1be","source":{"kind":"arxiv","id":"2208.09505","version":2},"attestation_state":"computed","paper":{"title":"Metamorphic Testing for Web System Security","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Arda Goknil, Fabrizio Pastore, Lionel C. Briand, Nazanin Bayati Chaleshtari","submitted_at":"2022-08-19T18:40:07Z","abstract_excerpt":"Security testing aims at verifying that the software meets its security properties. In modern Web systems, however, this often entails the verification of the outputs generated when exercising the system with a very large set of inputs. Full automation is thus required to lower costs and increase the effectiveness of security testing. Unfortunately, to achieve such automation, in addition to strategies for automatically deriving test inputs, we need to address the oracle problem, which refers to the challenge, given an input for a system, of distinguishing correct from incorrect behavior. In t"},"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":"2208.09505","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-08-19T18:40:07Z","cross_cats_sorted":[],"title_canon_sha256":"7bcb885fd9130f8d89e770ac0559d6e4844a61b08cf58c63469307ca5b94b6d8","abstract_canon_sha256":"d14bd6516b0bca26d766590140814365424f22e1029d0143db8c809c681cc7dd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:49:04.203948Z","signature_b64":"89pV87YNg31ulizS9fnn6cCactjYfaQg0AieJghUntK728lnz6kj6mmz2bhWo0VJpuJ+KTlHTxGJHTVBt/c3AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d85138db65481272e46c5bb43e5bf202f45fee9f1fb5e72fe6335975bd24a1be","last_reissued_at":"2026-07-05T05:49:04.203470Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:49:04.203470Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Metamorphic Testing for Web System Security","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Arda Goknil, Fabrizio Pastore, Lionel C. Briand, Nazanin Bayati Chaleshtari","submitted_at":"2022-08-19T18:40:07Z","abstract_excerpt":"Security testing aims at verifying that the software meets its security properties. In modern Web systems, however, this often entails the verification of the outputs generated when exercising the system with a very large set of inputs. Full automation is thus required to lower costs and increase the effectiveness of security testing. Unfortunately, to achieve such automation, in addition to strategies for automatically deriving test inputs, we need to address the oracle problem, which refers to the challenge, given an input for a system, of distinguishing correct from incorrect behavior. In t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.09505","kind":"arxiv","version":2},"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/2208.09505/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":"2208.09505","created_at":"2026-07-05T05:49:04.203529+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.09505v2","created_at":"2026-07-05T05:49:04.203529+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.09505","created_at":"2026-07-05T05:49:04.203529+00:00"},{"alias_kind":"pith_short_12","alias_value":"3BITRW3FJAJH","created_at":"2026-07-05T05:49:04.203529+00:00"},{"alias_kind":"pith_short_16","alias_value":"3BITRW3FJAJHFZDM","created_at":"2026-07-05T05:49:04.203529+00:00"},{"alias_kind":"pith_short_8","alias_value":"3BITRW3F","created_at":"2026-07-05T05:49:04.203529+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.05307","citing_title":"ASSURE: Metamorphic Testing for AI-powered Browser Extensions","ref_index":2023,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL","json":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL.json","graph_json":"https://pith.science/api/pith-number/3BITRW3FJAJHFZDMLO2D4W7SAL/graph.json","events_json":"https://pith.science/api/pith-number/3BITRW3FJAJHFZDMLO2D4W7SAL/events.json","paper":"https://pith.science/paper/3BITRW3F"},"agent_actions":{"view_html":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL","download_json":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL.json","view_paper":"https://pith.science/paper/3BITRW3F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.09505&json=true","fetch_graph":"https://pith.science/api/pith-number/3BITRW3FJAJHFZDMLO2D4W7SAL/graph.json","fetch_events":"https://pith.science/api/pith-number/3BITRW3FJAJHFZDMLO2D4W7SAL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL/action/storage_attestation","attest_author":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL/action/author_attestation","sign_citation":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL/action/citation_signature","submit_replication":"https://pith.science/pith/3BITRW3FJAJHFZDMLO2D4W7SAL/action/replication_record"}},"created_at":"2026-07-05T05:49:04.203529+00:00","updated_at":"2026-07-05T05:49:04.203529+00:00"}