{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:7M3FN6BBT57SDGG2OBNQHYEURE","short_pith_number":"pith:7M3FN6BB","schema_version":"1.0","canonical_sha256":"fb3656f8219f7f2198da705b03e0948923856c0202016f33dd4edb2aff620dc1","source":{"kind":"arxiv","id":"2607.25695","version":1},"attestation_state":"computed","paper":{"title":"Delta Debugging for Cyber-Physical Systems with Flaky Test Executions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aitor Arrieta, Pablo Valle, Shaukat Ali","submitted_at":"2026-07-28T13:14:39Z","abstract_excerpt":"Simulation-based testing is widely used to validate Cyber-Physical Systems (CPSs), yet modern CPS simulators frequently exhibit non-deterministic (flaky) behavior, making failures difficult to reproduce and debug. Although delta debugging has proven effective for deterministic systems, its underlying assumptions do not hold in stochastic environments. This paper presents three delta debugging algorithms that combine statistical failure analysis, repeated executions, and environment-aware reduction to isolate minimal failure-inducing test inputs for stochastic CPSs. We evaluate the proposed tec"},"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":"2607.25695","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-28T13:14:39Z","cross_cats_sorted":[],"title_canon_sha256":"781d4326169cbfcdb9906cad66ab5830d282355e1ce4362951276c494f14ca9b","abstract_canon_sha256":"11b8c620722a2c5a312558a3c071317a6523e081caca407363ef2aab0d5d69b8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-29T01:25:57.440849Z","signature_b64":"FnPN28kRD+lJXUIBVx8iXZoCN1SayCMx9fvmMhXFZXcctyID/RR2SHhQnsL7xSFDfueFkoFXIrnv2dHwq7vZCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb3656f8219f7f2198da705b03e0948923856c0202016f33dd4edb2aff620dc1","last_reissued_at":"2026-07-29T01:25:57.439974Z","signature_status":"signed_v1","first_computed_at":"2026-07-29T01:25:57.439974Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Delta Debugging for Cyber-Physical Systems with Flaky Test Executions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aitor Arrieta, Pablo Valle, Shaukat Ali","submitted_at":"2026-07-28T13:14:39Z","abstract_excerpt":"Simulation-based testing is widely used to validate Cyber-Physical Systems (CPSs), yet modern CPS simulators frequently exhibit non-deterministic (flaky) behavior, making failures difficult to reproduce and debug. Although delta debugging has proven effective for deterministic systems, its underlying assumptions do not hold in stochastic environments. This paper presents three delta debugging algorithms that combine statistical failure analysis, repeated executions, and environment-aware reduction to isolate minimal failure-inducing test inputs for stochastic CPSs. We evaluate the proposed tec"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.25695","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/2607.25695/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":"2607.25695","created_at":"2026-07-29T01:25:57.440431+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.25695v1","created_at":"2026-07-29T01:25:57.440431+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.25695","created_at":"2026-07-29T01:25:57.440431+00:00"},{"alias_kind":"pith_short_12","alias_value":"7M3FN6BBT57S","created_at":"2026-07-29T01:25:57.440431+00:00"},{"alias_kind":"pith_short_16","alias_value":"7M3FN6BBT57SDGG2","created_at":"2026-07-29T01:25:57.440431+00:00"},{"alias_kind":"pith_short_8","alias_value":"7M3FN6BB","created_at":"2026-07-29T01:25:57.440431+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/7M3FN6BBT57SDGG2OBNQHYEURE","json":"https://pith.science/pith/7M3FN6BBT57SDGG2OBNQHYEURE.json","graph_json":"https://pith.science/api/pith-number/7M3FN6BBT57SDGG2OBNQHYEURE/graph.json","events_json":"https://pith.science/api/pith-number/7M3FN6BBT57SDGG2OBNQHYEURE/events.json","paper":"https://pith.science/paper/7M3FN6BB"},"agent_actions":{"view_html":"https://pith.science/pith/7M3FN6BBT57SDGG2OBNQHYEURE","download_json":"https://pith.science/pith/7M3FN6BBT57SDGG2OBNQHYEURE.json","view_paper":"https://pith.science/paper/7M3FN6BB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.25695&json=true","fetch_graph":"https://pith.science/api/pith-number/7M3FN6BBT57SDGG2OBNQHYEURE/graph.json","fetch_events":"https://pith.science/api/pith-number/7M3FN6BBT57SDGG2OBNQHYEURE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7M3FN6BBT57SDGG2OBNQHYEURE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7M3FN6BBT57SDGG2OBNQHYEURE/action/storage_attestation","attest_author":"https://pith.science/pith/7M3FN6BBT57SDGG2OBNQHYEURE/action/author_attestation","sign_citation":"https://pith.science/pith/7M3FN6BBT57SDGG2OBNQHYEURE/action/citation_signature","submit_replication":"https://pith.science/pith/7M3FN6BBT57SDGG2OBNQHYEURE/action/replication_record"}},"created_at":"2026-07-29T01:25:57.440431+00:00","updated_at":"2026-07-29T01:25:57.440431+00:00"}