{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:7A7Z5DFK7GYS4W3KW7N7KQYXNX","short_pith_number":"pith:7A7Z5DFK","canonical_record":{"source":{"id":"1907.05637","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-12T09:17:35Z","cross_cats_sorted":[],"title_canon_sha256":"96a7fb47f271d2093f139a90b08b6c86818e8df27ad0791f62b0bcca41f4cf14","abstract_canon_sha256":"1ffd9703431982db13fc9941c236d40209fa3a6c35284123ca1e153d1d51be82"},"schema_version":"1.0"},"canonical_sha256":"f83f9e8caaf9b12e5b6ab7dbf543176de282e34c24c1120570c7b7d9fc019686","source":{"kind":"arxiv","id":"1907.05637","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05637","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05637v1","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05637","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"pith_short_12","alias_value":"7A7Z5DFK7GYS","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7A7Z5DFK7GYS4W3K","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7A7Z5DFK","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:7A7Z5DFK7GYS4W3KW7N7KQYXNX","target":"record","payload":{"canonical_record":{"source":{"id":"1907.05637","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-12T09:17:35Z","cross_cats_sorted":[],"title_canon_sha256":"96a7fb47f271d2093f139a90b08b6c86818e8df27ad0791f62b0bcca41f4cf14","abstract_canon_sha256":"1ffd9703431982db13fc9941c236d40209fa3a6c35284123ca1e153d1d51be82"},"schema_version":"1.0"},"canonical_sha256":"f83f9e8caaf9b12e5b6ab7dbf543176de282e34c24c1120570c7b7d9fc019686","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:47.488392Z","signature_b64":"jr5VnC6KCZxiXnaY8GkXsab8FHEIvxf6Z6tKr4OXtSU2DiYMzW7pG+dslBSulHhWZg2hAVYvSmwCsGZ9X9IwBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f83f9e8caaf9b12e5b6ab7dbf543176de282e34c24c1120570c7b7d9fc019686","last_reissued_at":"2026-05-17T23:40:47.487696Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:47.487696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.05637","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:40:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GJx2Mw7e/xY44nmlDeEtcYunWjXVctKGfO1sFhNPjZVm+EoRpdm/AYs6EfwzaDZB8kVXGnAmh+nTedawt19nCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:47:58.568749Z"},"content_sha256":"66e4ea48e7991d461554d2f6cdb23f0b0844714f11b39135ab51f56c20bce684","schema_version":"1.0","event_id":"sha256:66e4ea48e7991d461554d2f6cdb23f0b0844714f11b39135ab51f56c20bce684"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:7A7Z5DFK7GYS4W3KW7N7KQYXNX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Concolic Testing Heap-Manipulating Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jun Sun, Long H. Pham, Quang Loc Le, Quoc-Sang Phan","submitted_at":"2019-07-12T09:17:35Z","abstract_excerpt":"Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on numeric programs. Heap-manipulating programs make extensive use of complex heap objects like trees and lists. Testing such programs is challenging due to multiple reasons. Firstly, test inputs for such program are required to satisfy non-trivial constraints which must be specified precisely. Secondly, precisely encoding and solving path conditions in such programs are challenging and often expensive. In this work, we"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05637","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:40:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7l5/X8QqaapY4Vw4gfsIYTiWQq0zt3EQTmnbBdRD+LBRP4dQH3QoW5swE2OfZ+F4baFf2QGf0LHodtgCmTzKBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:47:58.569109Z"},"content_sha256":"a66d21370d2fc0a5578e46b2f095e5362ca8bcba50b712679648ed7a3e7eafd8","schema_version":"1.0","event_id":"sha256:a66d21370d2fc0a5578e46b2f095e5362ca8bcba50b712679648ed7a3e7eafd8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7A7Z5DFK7GYS4W3KW7N7KQYXNX/bundle.json","state_url":"https://pith.science/pith/7A7Z5DFK7GYS4W3KW7N7KQYXNX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7A7Z5DFK7GYS4W3KW7N7KQYXNX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T08:47:58Z","links":{"resolver":"https://pith.science/pith/7A7Z5DFK7GYS4W3KW7N7KQYXNX","bundle":"https://pith.science/pith/7A7Z5DFK7GYS4W3KW7N7KQYXNX/bundle.json","state":"https://pith.science/pith/7A7Z5DFK7GYS4W3KW7N7KQYXNX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7A7Z5DFK7GYS4W3KW7N7KQYXNX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7A7Z5DFK7GYS4W3KW7N7KQYXNX","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":"1ffd9703431982db13fc9941c236d40209fa3a6c35284123ca1e153d1d51be82","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-12T09:17:35Z","title_canon_sha256":"96a7fb47f271d2093f139a90b08b6c86818e8df27ad0791f62b0bcca41f4cf14"},"schema_version":"1.0","source":{"id":"1907.05637","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05637","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05637v1","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05637","created_at":"2026-05-17T23:40:47Z"},{"alias_kind":"pith_short_12","alias_value":"7A7Z5DFK7GYS","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7A7Z5DFK7GYS4W3K","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7A7Z5DFK","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:a66d21370d2fc0a5578e46b2f095e5362ca8bcba50b712679648ed7a3e7eafd8","target":"graph","created_at":"2026-05-17T23:40:47Z","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":"Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on numeric programs. Heap-manipulating programs make extensive use of complex heap objects like trees and lists. Testing such programs is challenging due to multiple reasons. Firstly, test inputs for such program are required to satisfy non-trivial constraints which must be specified precisely. Secondly, precisely encoding and solving path conditions in such programs are challenging and often expensive. In this work, we","authors_text":"Jun Sun, Long H. Pham, Quang Loc Le, Quoc-Sang Phan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-12T09:17:35Z","title":"Concolic Testing Heap-Manipulating Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05637","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:66e4ea48e7991d461554d2f6cdb23f0b0844714f11b39135ab51f56c20bce684","target":"record","created_at":"2026-05-17T23:40:47Z","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":"1ffd9703431982db13fc9941c236d40209fa3a6c35284123ca1e153d1d51be82","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-12T09:17:35Z","title_canon_sha256":"96a7fb47f271d2093f139a90b08b6c86818e8df27ad0791f62b0bcca41f4cf14"},"schema_version":"1.0","source":{"id":"1907.05637","kind":"arxiv","version":1}},"canonical_sha256":"f83f9e8caaf9b12e5b6ab7dbf543176de282e34c24c1120570c7b7d9fc019686","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f83f9e8caaf9b12e5b6ab7dbf543176de282e34c24c1120570c7b7d9fc019686","first_computed_at":"2026-05-17T23:40:47.487696Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:47.487696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jr5VnC6KCZxiXnaY8GkXsab8FHEIvxf6Z6tKr4OXtSU2DiYMzW7pG+dslBSulHhWZg2hAVYvSmwCsGZ9X9IwBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:47.488392Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.05637","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66e4ea48e7991d461554d2f6cdb23f0b0844714f11b39135ab51f56c20bce684","sha256:a66d21370d2fc0a5578e46b2f095e5362ca8bcba50b712679648ed7a3e7eafd8"],"state_sha256":"a8edfcc71817bab31abcb4d7d7f7c4ef53ebb89932f2e7819e2a464c748249f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b5OtFaLH25Bt9P5S8agFr/m595U4ZkVIi2DcsO7XhiwuyAIIvLY5SEzNPcc4XpgcS/2MfJMqaKylNGMmPmRICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T08:47:58.571115Z","bundle_sha256":"e4369b91b0d185e98a7d7832d036ebf13639b90174dd2553deab844c043c0144"}}