RECON: An LLM-Enhanced Backward Constraint Analysis Framework | Paper Citation Record

Observation 1eb238d7-07d1-4b05-a046-fe70219dabeb · outbound

This paper cites Few-shot training llms for project-specific code-summarization.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Few-shot training llms for project-specific code-summarization

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70245449-d3ff-4409-b47f-8b09f50a6e09 · outbound

This paper cites Automatic semantic augmentation of language model prompts (for code summarization).

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Automatic semantic augmentation of language model prompts (for code summarization)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cddeb78-c144-413d-a274-ead292327be5 · outbound

This paper cites Computational verification of c protocol implementations by symbolic execution.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Computational verification of c protocol implementations by symbolic execution

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28cffb7f-f948-4013-9ae7-556212855179 · outbound

This paper cites Androzoo: Collecting millions of android apps for the research community.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Androzoo: Collecting millions of android apps for the research community

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96958593-4fcf-45e3-ae0e-f65694f72abc · outbound

This paper cites Jpf–se: A symbolic execution extension to java pathfinder.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Jpf–se: A symbolic execution extension to java pathfinder

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c80ce26-c99f-41f9-b169-edfacc64cc8b · outbound

This paper cites Flowdroid: Precise context, flow, field, object- sensitive and lifecycle-aware taint analysis for android apps.ACM sigplan notices, 49(6):259–269, 2014.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Flowdroid: Precise context, flow, field, object- sensitive and lifecycle-aware taint analysis for android apps.ACM sigplan notices, 49(6):259–269, 2014

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 295e0516-d52b-4ffc-a89e-34ad25b15d30 · outbound

This paper cites Static analysis as a feedback loop: Enhancing llm-generated code beyond correctness.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Static analysis as a feedback loop: Enhancing llm-generated code beyond correctness

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 233d405d-ac21-461c-a6ce-a9a1739e07da · outbound

This paper cites Iterative distribution-aware sampling for probabilistic symbolic execution.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Iterative distribution-aware sampling for probabilistic symbolic execution

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b49f18a8-e040-44e8-9a83-0bcf84972c27 · outbound

This paper cites Constraint normalization and parameterized caching for quantitative program analysis.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Constraint normalization and parameterized caching for quantitative program analysis

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1d2379b-4259-4988-a75a-2af7fbae8dc1 · outbound

This paper cites Machine learning steered symbolic execution framework for complex software code.Formal Aspects of Computing, 33(3):301–323, 2021.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Machine learning steered symbolic execution framework for complex software code.Formal Aspects of Computing, 33(3):301–323, 2021

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d60bf9bc-f13c-4701-8cd0-b5d2df2c1668 · outbound

This paper cites Sym- bolic execution for software testing in practice: preliminary assess- ment.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Sym- bolic execution for software testing in practice: preliminary assess- ment

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ade16dc9-8c18-4380-a14b-72de0bde3e39 · outbound

This paper cites Klee symbolic execution engine in 2019.International Journal on Software Tools for Technology Transfer, 23(6):867–870, 2021.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Klee symbolic execution engine in 2019.International Journal on Software Tools for Technology Transfer, 23(6):867–870, 2021

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f90585a8-75f3-4707-a806-5a42375d26f8 · outbound

This paper cites Analyzing semantic correctness with symbolic execution: A case study on pkcs# 1 v1.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Analyzing semantic correctness with symbolic execution: A case study on pkcs# 1 v1

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2753b74c-46fc-48f4-8edb-a1f8e137eabe · outbound

This paper cites Simulation-directed invariant mining for software verification.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Simulation-directed invariant mining for software verification

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b93f4ceb-612d-4cef-83de-af4c40c6f043 · outbound

This paper cites Counterexample-guided abstraction refinement.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Counterexample-guided abstraction refinement

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08fb20d0-00d9-4323-962a-1a372ea676d7 · outbound

This paper cites Dytan: a generic dynamic taint analysis framework.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Dytan: a generic dynamic taint analysis framework

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13ba1124-112f-40c7-a1fd-fa8ee3a495e8 · outbound

This paper cites Abstract interpretation.ACM Computing Surveys (CSUR), 28(2):324–328, 1996.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Abstract interpretation.ACM Computing Surveys (CSUR), 28(2):324–328, 1996

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation facf55f6-8886-4f16-92c5-c2fc4fa6a69e · outbound

This paper cites Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71be4154-603a-44e1-acd7-de49e5e3a237 · outbound

This paper cites Abstract interpretation: past, present and future.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Abstract interpretation: past, present and future

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95b69c71-5e63-42f3-a48c-7775d53b0b37 · outbound

This paper cites Frama-c: A software analysis perspective.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Frama-c: A software analysis perspective

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8de9c327-f122-45bf-963f-7a2c1dc36c66 · outbound

This paper cites Binsec/rel: Efficient relational symbolic execution for constant-time at binary- level.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Binsec/rel: Efficient relational symbolic execution for constant-time at binary- level

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9903186b-349a-4e58-9b1a-7505a8f24fa0 · outbound

This paper cites Solving complex path conditions through heuristic search on induced polytopes.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Solving complex path conditions through heuristic search on induced polytopes

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 590eef34-8968-4c99-90c0-1eb4004ee3bc · outbound

This paper cites Exposing the rat in the tunnel: Using traffic analysis for tor-based malware detection.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Exposing the rat in the tunnel: Using traffic analysis for tor-based malware detection

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7ac86de-87a8-4586-9f6f-9df6e411f519 · outbound

This paper cites F-droid: Free and open source android app reposi- tory.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework F-droid: Free and open source android app reposi- tory

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 400f89d3-d2ac-418c-a03c-35d16273e0a3 · outbound

This paper cites Android testing via synthetic symbolic execution.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Android testing via synthetic symbolic execution

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5114b036-4e13-4a50-8a16-9fbc9c44dc5e · outbound

This paper cites Adver- sities in abstract interpretation-accommodating robustness by abstract interpretation.ACM Transactions on Programming Languages and Systems, 46(2):1–31, 2024.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Adver- sities in abstract interpretation-accommodating robustness by abstract interpretation.ACM Transactions on Programming Languages and Systems, 46(2):1–31, 2024

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2c48e99-968e-4cbd-8148-52ff6dbb2218 · outbound

This paper cites Dart: Directed au- tomated random testing.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Dart: Directed au- tomated random testing

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 231f340e-24f8-4f2d-8d27-6148b1a096da · outbound

This paper cites Program analysis as constraint solving.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Program analysis as constraint solving

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5258fa34-9f84-455a-9277-bdbec443fdbc · outbound

This paper cites When to stop? towards efficient code generation in llms with excess token prevention.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework When to stop? towards efficient code generation in llms with excess token prevention

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 449a1d44-2a49-434f-bf82-9c99989c406a · outbound

This paper cites Lazy counterfactual symbolic execution.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Lazy counterfactual symbolic execution

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2593a2e-cb52-4b62-a875-1533c5cbc167 · outbound

This paper cites Learning to fuzz from symbolic execution with application to smart contracts.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Learning to fuzz from symbolic execution with application to smart contracts

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a5430f2-b747-46e7-b1cf-d94c6119ee74 · outbound

This paper cites Learning to explore paths for symbolic execution.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Learning to explore paths for symbolic execution

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f308f65c-7b94-4845-abb4-d49d4e9e97eb · outbound

This paper cites Model execution tracing: a sys- tematic mapping study.Software and Systems Modeling, 2019.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Model execution tracing: a sys- tematic mapping study.Software and Systems Modeling, 2019

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c3df971-5039-4272-bdd9-b68c954966af · outbound

This paper cites Enhancing reuse of constraint solutions to improve symbolic execution.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Enhancing reuse of constraint solutions to improve symbolic execution

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61215f02-2ffe-4844-86d6-9beb992bacd9 · outbound

This paper cites Neurlux: dynamic malware analysis without feature engineering.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Neurlux: dynamic malware analysis without feature engineering

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4321c9f2-e57f-42d4-9a2c-de17ebc5d9f3 · outbound

This paper cites Codellm-devkit: A framework for contextualizing code llms with program analysis insights.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Codellm-devkit: A framework for contextualizing code llms with program analysis insights

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2755abef-24b3-4704-92d9-5325e0b31020 · outbound

This paper cites Abstract execution: A technique for efficiently tracing programs.Software: Practice and Experience, 20(12):1241–1258, 1990.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Abstract execution: A technique for efficiently tracing programs.Software: Practice and Experience, 20(12):1241–1258, 1990

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf51546e-8a18-435b-a6fc-951d602d4fbb · outbound

This paper cites Mining temporal properties of data invariants.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Mining temporal properties of data invariants

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e8bbf49-410f-41ba-870a-c5be9db60b89 · outbound

This paper cites Revisiting Concept Drift in Windows Malware Detection: Adaptation to Real Drifted Malware with Minimal Samples.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Revisiting Concept Drift in Windows Malware Detection: Adaptation to Real Drifted Malware with Minimal Samples

Reference 39

Resolution: verified exact; arxiv_id, observed 2026-07-03T05:27:40.314478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 63de247e-b12d-4be4-a672-6faf4b6202f5 · outbound

This paper cites Foredroid: Scenario-aware analysis for android malware detection and explanation.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Foredroid: Scenario-aware analysis for android malware detection and explanation

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e352d05-1938-48b8-bc33-e88e9b245200 · outbound

This paper cites Symbolic execution of complex program driven by machine learning based constraint solving.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Symbolic execution of complex program driven by machine learning based constraint solving

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31a55021-7fcb-41cf-bac2-1e53602f2e62 · outbound

This paper cites Mining invariants from console logs for system problem detection.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Mining invariants from console logs for system problem detection

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a6d7ee5-b6fc-486e-9ee8-7f8967965664 · outbound

This paper cites System service call- oriented symbolic execution of android framework with applications to vulnerability discovery and exploit generation.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework System service call- oriented symbolic execution of android framework with applications to vulnerability discovery and exploit generation

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74ddf937-ec7f-4ff7-8916-cb1c51bed028 · outbound

This paper cites Type-constrained code generation with language models.Proceedings of the ACM on Programming Languages, 9(PLDI):601–626, 2025.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Type-constrained code generation with language models.Proceedings of the ACM on Programming Languages, 9(PLDI):601–626, 2025

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f55eb50c-a5ab-4af0-b033-e9e7e4cde4dd · outbound

This paper cites Using an llm to help with code un- derstanding.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Using an llm to help with code un- derstanding

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec68472d-3d4a-46a9-97cf-9e4dc84c26a1 · outbound

This paper cites Dynamic taint analysis for automatic detection, analysis, and signaturegeneration of exploits on commodity software.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Dynamic taint analysis for automatic detection, analysis, and signaturegeneration of exploits on commodity software

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0d5f5e8-772a-47f4-8888-e2cdd08c4893 · outbound

This paper cites Symbolic execution and recent applications to worst-case execution, load testing, and security analysis.Advances in Computers, 113:289–314, 2019.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Symbolic execution and recent applications to worst-case execution, load testing, and security analysis.Advances in Computers, 113:289–314, 2019

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 322fb888-8ab8-4114-86ee-34632cfbcc0c · outbound

This paper cites Symbolic pathfinder: inte- grating symbolic execution with model checking for java bytecode analysis.Automated Software Engineering, 20(3):391–425, 2013.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Symbolic pathfinder: inte- grating symbolic execution with model checking for java bytecode analysis.Automated Software Engineering, 20(3):391–425, 2013

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50fa71d2-d64e-4d7c-80b5-b15db5ffbf39 · outbound

This paper cites Enhancing symbolic execution of heap-based pro- grams with separation logic for test input generation.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Enhancing symbolic execution of heap-based pro- grams with separation logic for test input generation

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf13d950-bdff-4ffc-b6bd-8f485f9147ee · outbound

This paper cites Symbolic execution with SymCC: Don’t interpret, compile! In29th USENIX Security Symposium (USENIX Security 20), pages 181–198.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Symbolic execution with SymCC: Don’t interpret, compile! In29th USENIX Security Symposium (USENIX Security 20), pages 181–198

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95eb53e2-fed4-48de-b7f6-0132a0f8d6fb · outbound

This paper cites Symqemu: Compilation- based symbolic execution for binaries.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Symqemu: Compilation- based symbolic execution for binaries

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34b6760b-de8e-4b8a-8871-5d6ee6c8b74a · outbound

This paper cites Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks

Reference 52

Resolution: verified exact; local_arxiv, observed 2026-07-03T05:27:40.316854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ea258476-74d7-4601-9c9a-ad52ca709b09 · outbound

This paper cites Unmasking the veiled: A comprehen- sive analysis of android evasive malware.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Unmasking the veiled: A comprehen- sive analysis of android evasive malware

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61e6528d-cead-4080-8489-cc97e8b095de · outbound

This paper cites Cute and jcute: Concolic unit testing and explicit path model-checking tools: (tool paper).

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Cute and jcute: Concolic unit testing and explicit path model-checking tools: (tool paper)

Reference 54

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2380cdf-b611-437a-89d1-25d92673e1e1 · outbound

This paper cites SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69958755-1bf8-404a-b657-8b406dfebbdc · outbound

This paper cites Soot - a java bytecode optimization framework.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Soot - a java bytecode optimization framework

Reference 56

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59051f65-5343-42e8-945f-e1a2f73f3dca · outbound

This paper cites Virusshare malware repository.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Virusshare malware repository

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e431690-725e-4782-9cac-1f46fcd0773b · outbound

This paper cites Exploring large language models for semantic analysis and categorization of android malware.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Exploring large language models for semantic analysis and categorization of android malware

Reference 58

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dd72123-e0e2-40f3-bd2c-8cc43aad7798 · outbound

This paper cites Testeval: Benchmarking large language models for test case generation.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Testeval: Benchmarking large language models for test case generation

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 743911bf-de36-4432-8d1c-75f716346d1b · outbound

This paper cites Symgx: Detecting cross-boundary pointer vulnerabilities of sgx applications via static symbolic execution.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Symgx: Detecting cross-boundary pointer vulnerabilities of sgx applications via static symbolic execution

Reference 60

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0949baa7-6284-47e6-9145-d7652e27a534 · outbound

This paper cites Symbolic execution of obfus- cated code.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Symbolic execution of obfus- cated code

Reference 61

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5d73323-45af-473e-8589-22f360aa8577 · outbound

This paper cites A comprehensive evaluation of android icc resolution techniques.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework A comprehensive evaluation of android icc resolution techniques

Reference 62

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7de1ae7c-35c3-4df1-a0ed-d5d2c9e88f81 · outbound

This paper cites Empc: Effective path prioritization for symbolic execution with path cover.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Empc: Effective path prioritization for symbolic execution with path cover

Reference 63

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bb5f909-b6a5-41a2-91a5-254362d0913f · outbound

This paper cites A comprehensive survey on automatic text summarization with explo- ration of llm-based methods.Neurocomputing, page 131928, 2025.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework A comprehensive survey on automatic text summarization with explo- ration of llm-based methods.Neurocomputing, page 131928, 2025

Reference 64

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 725ac11c-d3db-4f9b-bab7-0c7e8a9ba754 · outbound

This paper cites Ferry: State-Aware symbolic execution for exploring State-Dependent program paths.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Ferry: State-Aware symbolic execution for exploring State-Dependent program paths

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41b7b7b9-cc39-4a54-b134-aa7884b723b1 · outbound

This paper cites Analyze conditional statements in Android Jimple bytecode to determine execution constraints for target method reachability.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Analyze conditional statements in Android Jimple bytecode to determine execution constraints for target method reachability

Reference 66

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 286b451b-6225-416c-9503-68f4df7b15ed · outbound

This paper cites an unresolved cited work.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cae9b819-21b5-413e-98a9-07583d05f1a8 · outbound

This paper cites an unresolved cited work.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a744963-b96e-4085-9bc0-f60e9760b574 · outbound

This paper cites branch_direction.

RECON: An LLM-Enhanced Backward Constraint Analysis Framework branch_direction

Reference 69

Resolution: unresolved; no resolver link, observed 2026-06-27T13:13:26.390358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers