{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:ODAEYJGKKAI3CHKEIGIUCFOLRM","short_pith_number":"pith:ODAEYJGK","schema_version":"1.0","canonical_sha256":"70c04c24ca5011b11d4441914115cb8b3ed38cab8ff4dd37e03f18b2fdb8fa2d","source":{"kind":"arxiv","id":"1705.08418","version":1},"attestation_state":"computed","paper":{"title":"Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fabrizio Pastore, Leonardo Mariani","submitted_at":"2017-05-23T17:07:27Z","abstract_excerpt":"This paper presents the result of our experience with the ap- plication of runtime verification, testing and static analysis techniques to several industrial projects. We discuss the eight most relevant challenges that we experienced, and the strategies that we elaborated to face them."},"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":"1705.08418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-23T17:07:27Z","cross_cats_sorted":[],"title_canon_sha256":"fd75d120d9437ffb7c6d7f61cd54bb1b69a9656d6570b420a359c2045282ba52","abstract_canon_sha256":"a9c6d0a56173ca20f93e926363526047e332635bda516c6680aaf39e701c78b2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:43:48.290750Z","signature_b64":"HcT706A5ujzFGnalVVHQixKZsBUR+pL4k2zkUSyA2iEPCrMYrAqaCBTFxCYx1JSniOo8kt9p+o/l9Z+dQ1IoDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"70c04c24ca5011b11d4441914115cb8b3ed38cab8ff4dd37e03f18b2fdb8fa2d","last_reissued_at":"2026-05-18T00:43:48.290196Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:43:48.290196Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fabrizio Pastore, Leonardo Mariani","submitted_at":"2017-05-23T17:07:27Z","abstract_excerpt":"This paper presents the result of our experience with the ap- plication of runtime verification, testing and static analysis techniques to several industrial projects. We discuss the eight most relevant challenges that we experienced, and the strategies that we elaborated to face them."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.08418","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":"1705.08418","created_at":"2026-05-18T00:43:48.290280+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.08418v1","created_at":"2026-05-18T00:43:48.290280+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.08418","created_at":"2026-05-18T00:43:48.290280+00:00"},{"alias_kind":"pith_short_12","alias_value":"ODAEYJGKKAI3","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_16","alias_value":"ODAEYJGKKAI3CHKE","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_8","alias_value":"ODAEYJGK","created_at":"2026-05-18T12:31:34.259226+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/ODAEYJGKKAI3CHKEIGIUCFOLRM","json":"https://pith.science/pith/ODAEYJGKKAI3CHKEIGIUCFOLRM.json","graph_json":"https://pith.science/api/pith-number/ODAEYJGKKAI3CHKEIGIUCFOLRM/graph.json","events_json":"https://pith.science/api/pith-number/ODAEYJGKKAI3CHKEIGIUCFOLRM/events.json","paper":"https://pith.science/paper/ODAEYJGK"},"agent_actions":{"view_html":"https://pith.science/pith/ODAEYJGKKAI3CHKEIGIUCFOLRM","download_json":"https://pith.science/pith/ODAEYJGKKAI3CHKEIGIUCFOLRM.json","view_paper":"https://pith.science/paper/ODAEYJGK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.08418&json=true","fetch_graph":"https://pith.science/api/pith-number/ODAEYJGKKAI3CHKEIGIUCFOLRM/graph.json","fetch_events":"https://pith.science/api/pith-number/ODAEYJGKKAI3CHKEIGIUCFOLRM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ODAEYJGKKAI3CHKEIGIUCFOLRM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ODAEYJGKKAI3CHKEIGIUCFOLRM/action/storage_attestation","attest_author":"https://pith.science/pith/ODAEYJGKKAI3CHKEIGIUCFOLRM/action/author_attestation","sign_citation":"https://pith.science/pith/ODAEYJGKKAI3CHKEIGIUCFOLRM/action/citation_signature","submit_replication":"https://pith.science/pith/ODAEYJGKKAI3CHKEIGIUCFOLRM/action/replication_record"}},"created_at":"2026-05-18T00:43:48.290280+00:00","updated_at":"2026-05-18T00:43:48.290280+00:00"}