Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-01T08:19:04.490316Z
Paper Citation Record · LEDGER
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE
As of 8 August 2026, this Paper Citation Record lists 91 of 91 outbound references and 0 inbound Pith citation observations for arXiv:2607.21676.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
91 of 91 outbound references displayed
- verified exact14
- verified fuzzy0
- unresolved75
- parse uncertain0
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 49251dea-38ce-4b47-80c4-c60f5ca3951c · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:52.921245Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c4b6d351-7f37-4f37-90d0-5dd1033d6472 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:53.014403Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 42dbacf2-4322-4be2-9f53-76364304a4bf · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:53.146011Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 91696240-595c-44b3-9645-ba0b873debf3 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:53.381910Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ef2828e-b5d8-45fc-8ab1-9ba386e350f9 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:53.469628Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa98a512-3f7f-4e21-a85c-795c8c1dd0d6 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:53.609975Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8954bccb-e590-4e89-b746-f2bfd123f981 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:53.742653Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2aecf385-4e9c-4016-8124-7fde1b6b5eee · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:53.946186Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 301d5b87-803c-4c2f-a21e-c4bc1676f8e6 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:54.109833Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12dafb54-2e71-4281-80a8-a9283eea90e9 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:54.292200Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e52deb3f-6e7b-45dc-80a9-4ed087c08d53 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:54.443324Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8fec2291-077f-492f-bd9d-a8fd4ca5b676 · outbound
This paper cites Donaldson.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Donaldson
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:54.555141Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation da19305c-7c14-43e9-a8b6-de6277791374 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:54.689472Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a8f5c813-f2aa-46e5-ac9d-9a01dfdb4e43 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:54.868971Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5847d400-cbd8-4996-a70a-03d6da4a5a0b · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:54.994517Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 693d1bbf-548b-4467-b922-f39a9371c22e · outbound
This paper cites Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:55.204916Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f222ddd6-cfd0-4c6d-823c-eb058add7e4a · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:15.365330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 75bc33ea-8122-4e4e-aa6d-7acb02f74d4a · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:55.454574Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 42685088-8692-4363-8c7a-6014dfdd42b5 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:55.661134Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5784086e-b717-4703-9b68-463e8d53536c · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:55.816138Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b6d71618-8132-464c-9a4f-7854aa716397 · outbound
This paper cites Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:55.922536Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f13621ce-b6f0-4ac1-a342-62c0153ca620 · outbound
This paper cites Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:14.955539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2e11976e-c9c4-433c-a05b-0618022c3622 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:56.188894Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f94f47eb-5dba-4535-92ba-e8410474542b · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:56.392471Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7d44f969-20ef-42be-b2e6-c6b5a3a0a87a · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:56.625568Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a13c4d59-fbf7-4cbc-9724-c384ab8cbb58 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:56.755515Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a83a67a-1c65-4ef7-8900-347f9eda9413 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:56.840389Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 33fdef69-f86e-4e99-a81f-4e4d33c49114 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:56.940523Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31d012de-9ebf-4adf-96e7-57392bab90fe · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:57.075706Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1fdc9c8-1b74-4230-aed3-299b110e48f6 · outbound
This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:57.220994Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 21df1b55-4b29-4357-8055-f24b1cae14e8 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:57.306516Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6a1289b7-778c-4761-94dc-9dd0ab2c2d9f · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:57.406272Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cfa9d0ae-8200-4857-ab2d-3a33216fe670 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:57.468303Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e883f872-e692-41df-9789-80b6d7fecafe · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 34
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:14.575424Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c1820b96-97d7-489c-bc2c-160e42c1ac5f · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:57.743284Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a0364b93-7741-4fcd-9d41-c760468761c7 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 36
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-01T08:18:57.955069Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9732356-ee78-4235-b54c-5b9c6e206ab7 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:58.086263Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c079c6fa-34d9-482f-8607-8114913c17e2 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:58.190883Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a56eb0d1-ea6b-44df-8131-e3dabb8c409b · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:58.307423Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65bb3be4-4a47-4412-aafc-1c24613b19a6 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 40
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-01T08:18:58.368379Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fbd2db89-3a46-4d02-a943-95fc2ec79d1e · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:58.518883Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation de1a77a8-2ed3-41b3-933d-56a6db5b3926 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:58.646697Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b0ed8cb0-76c9-4d74-8bb6-34c84d17c01f · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:58.819715Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d4193ac2-c630-4104-8591-5152194e9901 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:58.999273Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e863d7fd-5d1c-409c-a057-19710c210be6 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.133226Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e8d8331f-c47f-4d22-824b-771a9cd0d41f · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.247434Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 575e5791-a26c-426b-827e-89043ac2ba3d · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.467605Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0d52b390-8d91-4f6e-bb47-dc7801a0f3cf · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.593036Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb25d270-1fb9-4694-94f7-c065e2670afc · outbound
This paper cites Foster, and Michael Hicks.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Foster, and Michael Hicks
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.677051Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4c5eb9fc-a50f-4116-9fe1-272e401c19e2 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.750078Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c7665834-d500-4240-8ba1-dac2e0691c61 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.811741Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c7b2e31e-3ff3-4e52-ad7e-ccf25ba07684 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.904897Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5259d97-4f82-40e8-b049-889b52961c1e · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:18:59.988302Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63e3c48d-f260-4c40-9068-2f90a908fe6f · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:00.054560Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 322e70c0-5e7d-46c5-972c-bacbb642f585 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:00.144296Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9562c989-730a-4ff3-8e17-ff5bd477af85 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:00.307378Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 289a81de-0d43-456d-812f-288ccb3840f4 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:00.434528Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f5a5bcc-0805-4894-bbfd-7b3cab09bc81 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:00.581865Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 223713fd-8c3c-48b0-8ac6-2be14c71fa79 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 59
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:14.211305Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 52037c18-b705-45c5-aab0-a3308e6b62b9 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 60
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:14.038082Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 03111bf4-8877-47e3-90a7-ed1761e4f646 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:01.051422Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2a584d46-ff35-4a1b-b73b-0b0328fef5fe · outbound
This paper cites Keep It Simple: Towards Accurate Vulnerability Detection for Large Code Graphs.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Keep It Simple: Towards Accurate Vulnerability Detection for Large Code Graphs
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:01.240236Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7312acc2-9126-4016-b7f5-751c07789c71 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 63
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:13.929498Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0dafaf23-74a1-459e-b257-c019931ee9ad · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 64
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:13.762484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b3dd4797-c20e-4400-8542-877a7dadec54 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:01.625179Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80f9620a-cff3-4df7-b004-8b42e6669fac · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:01.750795Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3dddd843-0198-45ca-83b6-ff7b3a04db4b · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:01.847690Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63e735c2-5225-4c99-bb42-722250a713af · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:01.954267Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4915af55-0c06-42ca-91e3-c176a5ed32a9 · outbound
This paper cites LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:02.194716Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4120ced-7f98-4dde-84b0-4f0dbbbbb3d1 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:02.291097Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7c85af79-fe79-4555-b79a-db4c192b08ac · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:02.381298Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 75dac01f-53c6-42e9-bf75-d5ffda196db0 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:02.497961Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d22df12f-de46-4b1a-a473-cf9a7eec39c4 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:02.607573Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c23fb78-a3c9-4441-ba62-2953afc9993d · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 74
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:13.574546Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b57ba9a8-4bda-4368-a23d-615929a8a357 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 75
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:02.873274Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a80be65e-95cb-4f82-8220-99caccc01276 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 76
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:13.464307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 10074e51-560d-4f7f-a1b1-db7854982c24 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 77
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:03.114278Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 927b8ca4-8a67-4ed3-9896-5b2397d5a815 · outbound
This paper cites Chi, Quoc V.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Chi, Quoc V
Reference 78
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:03.282315Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 081ada4f-6066-42fd-933b-29a4a7f3ff72 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 79
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:03.395046Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 97eb6f29-0ee5-4fa4-9f4f-518dbdcaf5c1 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 80
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:13.323401Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 58dc01cd-6388-4726-af6d-9c94bf840f9d · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 81
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:03.626211Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d0ea128-0f31-43eb-8f86-e130dcf40b10 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 82
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:03.773657Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dd2b2c9c-4798-413e-9815-28f2d8df92d0 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 83
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:03.906324Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dd72c8be-b9a8-4e43-9258-f13e43cc0d54 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 84
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:13.199625Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation cb17ed32-703c-4f1c-a676-769be911bd6e · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 85
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:13.071046Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 32e93f47-784a-4a5e-8018-e3b3ea7058bd · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 86
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:04.201578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd894895-8dc7-413e-92bf-48e73d486e2f · outbound
This paper cites Yegorov, E.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Yegorov, E
Reference 87
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:12.913183Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d3dc7416-63e1-44f4-a3c6-b5409d99e063 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 88
- Resolution
- verified exact
- doi, observed 2026-08-01T08:24:12.754074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0161344a-76ca-48dc-835c-b7ff7739c189 · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 89
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:04.409752Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5ca5639-2dc2-4c54-8a5c-ab18e2a2b07f · outbound
This paper cites an unresolved cited work.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE Unresolved cited work
Reference 90
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:04.490316Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff86defb-cf5e-4b47-ae88-e368098e5db9 · outbound
This paper cites arXiv:2512.21238 [cs.SE] https: ACM Trans.
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE arXiv:2512.21238 [cs.SE] https: ACM Trans
Reference 2025
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T08:19:02.077658Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.