{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:WAA2QSCJMP3MCHCHZH7MYPSE6T","short_pith_number":"pith:WAA2QSCJ","schema_version":"1.0","canonical_sha256":"b001a8484963f6c11c47c9fecc3e44f4c425db9712fcc54d97121200bac87d98","source":{"kind":"arxiv","id":"1803.04881","version":1},"attestation_state":"computed","paper":{"title":"Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Pretschner, Eirini Psallida, Ricardo Nales Amato, Saahil Ognawala, Thomas Hutzelmann","submitted_at":"2018-03-13T15:29:24Z","abstract_excerpt":"Automatic test-case generation techniques of symbolic execution and fuzzing are the most widely used methods to discover vulnerabilities in, both, academia and industry. However, both these methods suffer from fundamental drawbacks that stop them from achieving high path coverage that may, consequently, lead to discovering vulnerabilities at the numerical scale of static analysis. In this presentation, we examine systems-under-test (SUTs) at the granularity level of functions and postulate that achieving higher function coverage (execution of functions in a program at least once) than, both, s"},"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":"1803.04881","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-13T15:29:24Z","cross_cats_sorted":[],"title_canon_sha256":"239e197924f69f627b98d4ae03e61f3a4d03bfdb24c7392b1a5a8fd5d2fb9206","abstract_canon_sha256":"2a2b34763969ae29a880128aa8dd13e74c00eda187239fe34abb8313889799c5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:15.543764Z","signature_b64":"oQ/bxIX0TMjj9vG8trffNEODcXVSZd0NcnKjJv2vNBnrH/+OSiJVabfoGyf4tIS1N2RtUwRVdh/yI6Mv98SJBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b001a8484963f6c11c47c9fecc3e44f4c425db9712fcc54d97121200bac87d98","last_reissued_at":"2026-05-18T00:21:15.543379Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:15.543379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Pretschner, Eirini Psallida, Ricardo Nales Amato, Saahil Ognawala, Thomas Hutzelmann","submitted_at":"2018-03-13T15:29:24Z","abstract_excerpt":"Automatic test-case generation techniques of symbolic execution and fuzzing are the most widely used methods to discover vulnerabilities in, both, academia and industry. However, both these methods suffer from fundamental drawbacks that stop them from achieving high path coverage that may, consequently, lead to discovering vulnerabilities at the numerical scale of static analysis. In this presentation, we examine systems-under-test (SUTs) at the granularity level of functions and postulate that achieving higher function coverage (execution of functions in a program at least once) than, both, s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04881","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":"1803.04881","created_at":"2026-05-18T00:21:15.543436+00:00"},{"alias_kind":"arxiv_version","alias_value":"1803.04881v1","created_at":"2026-05-18T00:21:15.543436+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04881","created_at":"2026-05-18T00:21:15.543436+00:00"},{"alias_kind":"pith_short_12","alias_value":"WAA2QSCJMP3M","created_at":"2026-05-18T12:32:59.047623+00:00"},{"alias_kind":"pith_short_16","alias_value":"WAA2QSCJMP3MCHCH","created_at":"2026-05-18T12:32:59.047623+00:00"},{"alias_kind":"pith_short_8","alias_value":"WAA2QSCJ","created_at":"2026-05-18T12:32:59.047623+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/WAA2QSCJMP3MCHCHZH7MYPSE6T","json":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T.json","graph_json":"https://pith.science/api/pith-number/WAA2QSCJMP3MCHCHZH7MYPSE6T/graph.json","events_json":"https://pith.science/api/pith-number/WAA2QSCJMP3MCHCHZH7MYPSE6T/events.json","paper":"https://pith.science/paper/WAA2QSCJ"},"agent_actions":{"view_html":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T","download_json":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T.json","view_paper":"https://pith.science/paper/WAA2QSCJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1803.04881&json=true","fetch_graph":"https://pith.science/api/pith-number/WAA2QSCJMP3MCHCHZH7MYPSE6T/graph.json","fetch_events":"https://pith.science/api/pith-number/WAA2QSCJMP3MCHCHZH7MYPSE6T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/action/storage_attestation","attest_author":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/action/author_attestation","sign_citation":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/action/citation_signature","submit_replication":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/action/replication_record"}},"created_at":"2026-05-18T00:21:15.543436+00:00","updated_at":"2026-05-18T00:21:15.543436+00:00"}