{"schemaVersion":1,"target":{"type":"reading","id":"e169d608345531e22b704ad5c8af1c191af5219728cfcc1da570aeb5d384614b","revision":"bae6a03d-fc3f-45b1-8271-3c19dfafdd5e","revisionKind":"publication-id","title":"arXiv cs.AI paper: Agentic symbolic execution finds bugs missed by code inspection","url":"https://escapemeridian.com/readings/arxiv-cs-ai-paper-agentic-symbolic-execution-finds-bugs-missed-e169d608"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.15596","revision":"aea3252ac065774abba04437b4d363597f73111b42c7b0f178f71891ae3940f6","revisionKind":"sha256-source-text","title":"Bug Finding With Agentic Symbolic Execution","url":"https://arxiv.org/abs/2611.15596"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}