{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:H2YFEUNWV2CFKTPA5OMDH6BSX6","short_pith_number":"pith:H2YFEUNW","schema_version":"1.0","canonical_sha256":"3eb05251b6ae84554de0eb9833f832bf880ca97fc919c767ce2a403dda14b2de","source":{"kind":"arxiv","id":"2509.03711","version":1},"attestation_state":"computed","paper":{"title":"Reactive Bottom-Up Testing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Antonio Bianchi, Aravind Machiry, James C. Davis, Siddharth Muralee, Sourag Cherupattamoolayil","submitted_at":"2025-09-03T20:54:43Z","abstract_excerpt":"Modern computing systems remain rife with software vulnerabilities. Engineers apply many means to detect them, of which dynamic testing is one of the most common and effective. However, most dynamic testing techniques follow a top-down paradigm, and struggle to reach and exercise functions deep within the call graph. While recent works have proposed Bottom-Up approaches to address these limitations, they face challenges with false positives and generating valid inputs that adhere to the context of the entire program.\n  In this work, we introduce a new paradigm that we call Reactive Bottom-Up 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":"2509.03711","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-09-03T20:54:43Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"107914ec14cdd843354046c4926e70a74afbee367ddbcda638c014cc9d182149","abstract_canon_sha256":"53bc3741f093735b7233e9bddd9bdf466f310728af2bbbf2dd2472e63f8833cf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:04:44.639953Z","signature_b64":"4Z6osqG/QK6bTr01evT4Hzk6mqNkWLdFlZMoSOWNu2H24Q1qlPaF+P3f81lOBf5cEMYpOyD/weBx0gBEHfCKBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3eb05251b6ae84554de0eb9833f832bf880ca97fc919c767ce2a403dda14b2de","last_reissued_at":"2026-07-05T12:04:44.639491Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:04:44.639491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reactive Bottom-Up Testing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Antonio Bianchi, Aravind Machiry, James C. Davis, Siddharth Muralee, Sourag Cherupattamoolayil","submitted_at":"2025-09-03T20:54:43Z","abstract_excerpt":"Modern computing systems remain rife with software vulnerabilities. Engineers apply many means to detect them, of which dynamic testing is one of the most common and effective. However, most dynamic testing techniques follow a top-down paradigm, and struggle to reach and exercise functions deep within the call graph. While recent works have proposed Bottom-Up approaches to address these limitations, they face challenges with false positives and generating valid inputs that adhere to the context of the entire program.\n  In this work, we introduce a new paradigm that we call Reactive Bottom-Up T"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.03711","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/2509.03711/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":"2509.03711","created_at":"2026-07-05T12:04:44.639550+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.03711v1","created_at":"2026-07-05T12:04:44.639550+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.03711","created_at":"2026-07-05T12:04:44.639550+00:00"},{"alias_kind":"pith_short_12","alias_value":"H2YFEUNWV2CF","created_at":"2026-07-05T12:04:44.639550+00:00"},{"alias_kind":"pith_short_16","alias_value":"H2YFEUNWV2CFKTPA","created_at":"2026-07-05T12:04:44.639550+00:00"},{"alias_kind":"pith_short_8","alias_value":"H2YFEUNW","created_at":"2026-07-05T12:04:44.639550+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/H2YFEUNWV2CFKTPA5OMDH6BSX6","json":"https://pith.science/pith/H2YFEUNWV2CFKTPA5OMDH6BSX6.json","graph_json":"https://pith.science/api/pith-number/H2YFEUNWV2CFKTPA5OMDH6BSX6/graph.json","events_json":"https://pith.science/api/pith-number/H2YFEUNWV2CFKTPA5OMDH6BSX6/events.json","paper":"https://pith.science/paper/H2YFEUNW"},"agent_actions":{"view_html":"https://pith.science/pith/H2YFEUNWV2CFKTPA5OMDH6BSX6","download_json":"https://pith.science/pith/H2YFEUNWV2CFKTPA5OMDH6BSX6.json","view_paper":"https://pith.science/paper/H2YFEUNW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.03711&json=true","fetch_graph":"https://pith.science/api/pith-number/H2YFEUNWV2CFKTPA5OMDH6BSX6/graph.json","fetch_events":"https://pith.science/api/pith-number/H2YFEUNWV2CFKTPA5OMDH6BSX6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/H2YFEUNWV2CFKTPA5OMDH6BSX6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/H2YFEUNWV2CFKTPA5OMDH6BSX6/action/storage_attestation","attest_author":"https://pith.science/pith/H2YFEUNWV2CFKTPA5OMDH6BSX6/action/author_attestation","sign_citation":"https://pith.science/pith/H2YFEUNWV2CFKTPA5OMDH6BSX6/action/citation_signature","submit_replication":"https://pith.science/pith/H2YFEUNWV2CFKTPA5OMDH6BSX6/action/replication_record"}},"created_at":"2026-07-05T12:04:44.639550+00:00","updated_at":"2026-07-05T12:04:44.639550+00:00"}