{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:IHQMQBK64ZUCIZSEUANCCLSG6G","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"bbb62aa735e435d3ea839fbe3701a11f084f36d1ca99efd26eacebf0c986a835","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-08-23T20:32:45Z","title_canon_sha256":"7342e9a197412079a420471bc75efe6e08d427d6745d94711b58c2224b887d64"},"schema_version":"1.0","source":{"id":"1808.07938","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.07938","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"arxiv_version","alias_value":"1808.07938v1","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.07938","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"pith_short_12","alias_value":"IHQMQBK64ZUC","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IHQMQBK64ZUCIZSE","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IHQMQBK6","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:0655b2a1b7ee4a99f621ae4ca43667b9be393ed4e4ee0717b09ed731b5be95cb","target":"graph","created_at":"2026-05-18T00:07:22Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Recently, a new approach to perform regression testing has been defined: the point of interest (POI) testing. A POI, in this context, is any expression of a program. The approach receives as input a set of relations between POIs from a version of a program and POIs from another version, and also a sequence of input functions, i.e. test cases. Then, a program instrumentation, an input test case generation and different comparison functions are used to obtain the final report which indicates whether the alternative version of the program behaves as expected, e.g. it produces the same values or i","authors_text":"Salvador Tamarit, Sergio P\\'erez","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-08-23T20:32:45Z","title":"Enhancing POI testing approach through the use of additional information"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.07938","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:91f867f523232495387c333137e3bb47829e19f854c90bb67e677cfa33571780","target":"record","created_at":"2026-05-18T00:07:22Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"bbb62aa735e435d3ea839fbe3701a11f084f36d1ca99efd26eacebf0c986a835","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-08-23T20:32:45Z","title_canon_sha256":"7342e9a197412079a420471bc75efe6e08d427d6745d94711b58c2224b887d64"},"schema_version":"1.0","source":{"id":"1808.07938","kind":"arxiv","version":1}},"canonical_sha256":"41e0c8055ee668246644a01a212e46f1b13266f425ea3b6b878deb2c8c50913a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"41e0c8055ee668246644a01a212e46f1b13266f425ea3b6b878deb2c8c50913a","first_computed_at":"2026-05-18T00:07:22.948346Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:22.948346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aEUz/i1cCb6QPquUshWMsyusTXCz3ai++jSuin+L/EuuEFwREg8ic5hJBkOCnBiS+ojat/+8jSjNWqirBc+jDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:22.948918Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.07938","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91f867f523232495387c333137e3bb47829e19f854c90bb67e677cfa33571780","sha256:0655b2a1b7ee4a99f621ae4ca43667b9be393ed4e4ee0717b09ed731b5be95cb"],"state_sha256":"917cc99b99b5544bf687853c7aafafb7eb6d0fcdafadd1cec6814743336af58e"}