{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:3DNI3WPSTVX4ZEFRA3Q5DFDOX3","short_pith_number":"pith:3DNI3WPS","schema_version":"1.0","canonical_sha256":"d8da8dd9f29d6fcc90b106e1d1946ebee5fe760bf2a13ae63de50634c88d2af7","source":{"kind":"arxiv","id":"1709.05291","version":1},"attestation_state":"computed","paper":{"title":"Erlang Code Evolution Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"David Insa, Josep Silva, Salvador Tamarit, Sergio P\\'erez","submitted_at":"2017-09-15T16:19:40Z","abstract_excerpt":"During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions "},"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":"1709.05291","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-15T16:19:40Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"3708ee747a8715270dffaf143fc018ff307814d0e1314fb1a8950af7173fa838","abstract_canon_sha256":"f49bcd1d6af94d47275882efeab14f9adb30f7c7ed08330197d2e55bdb808b27"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:06.110481Z","signature_b64":"ECidzio14CObH2CLUkIgjNAVlLNgS3+woD7vwFpg+4tyx48+8KGxXmGWf0yM8bYvCDUZFoSoOccJeARRM6o0Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8da8dd9f29d6fcc90b106e1d1946ebee5fe760bf2a13ae63de50634c88d2af7","last_reissued_at":"2026-05-18T00:35:06.109742Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:06.109742Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Erlang Code Evolution Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"David Insa, Josep Silva, Salvador Tamarit, Sergio P\\'erez","submitted_at":"2017-09-15T16:19:40Z","abstract_excerpt":"During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.05291","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":"1709.05291","created_at":"2026-05-18T00:35:06.109855+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.05291v1","created_at":"2026-05-18T00:35:06.109855+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.05291","created_at":"2026-05-18T00:35:06.109855+00:00"},{"alias_kind":"pith_short_12","alias_value":"3DNI3WPSTVX4","created_at":"2026-05-18T12:30:58.224056+00:00"},{"alias_kind":"pith_short_16","alias_value":"3DNI3WPSTVX4ZEFR","created_at":"2026-05-18T12:30:58.224056+00:00"},{"alias_kind":"pith_short_8","alias_value":"3DNI3WPS","created_at":"2026-05-18T12:30:58.224056+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/3DNI3WPSTVX4ZEFRA3Q5DFDOX3","json":"https://pith.science/pith/3DNI3WPSTVX4ZEFRA3Q5DFDOX3.json","graph_json":"https://pith.science/api/pith-number/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/graph.json","events_json":"https://pith.science/api/pith-number/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/events.json","paper":"https://pith.science/paper/3DNI3WPS"},"agent_actions":{"view_html":"https://pith.science/pith/3DNI3WPSTVX4ZEFRA3Q5DFDOX3","download_json":"https://pith.science/pith/3DNI3WPSTVX4ZEFRA3Q5DFDOX3.json","view_paper":"https://pith.science/paper/3DNI3WPS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.05291&json=true","fetch_graph":"https://pith.science/api/pith-number/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/graph.json","fetch_events":"https://pith.science/api/pith-number/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/action/storage_attestation","attest_author":"https://pith.science/pith/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/action/author_attestation","sign_citation":"https://pith.science/pith/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/action/citation_signature","submit_replication":"https://pith.science/pith/3DNI3WPSTVX4ZEFRA3Q5DFDOX3/action/replication_record"}},"created_at":"2026-05-18T00:35:06.109855+00:00","updated_at":"2026-05-18T00:35:06.109855+00:00"}