TY  - RPRT
TI  - Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
AU  - Ştefan-Claudiu Susan
AU  - Andrei Arusoaie
AU  - Dorel Lucanu
PY  - 2025
DO  - 10.4204/eptcs.427.7
UR  - https://arxiv.org/abs/2509.13023
ID  - 2509.13023
ER  -