Paper accepted at ISSTA'26

We are proud that our paper "Augmenting Multi-Technique Static Analysis with Large Language Models: A Neuro-Symbolic Approach to Smart Contract Vulnerability Detection" has been accepted at The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

@article{chenTDSC26,
      title={Augmenting Multi-Technique Static Analysis with Large Language Models: A Neuro-Symbolic Approach to Smart Contract Vulnerability Detection}, 
      author={Junxiang Wang and Fu Song and Miaomiao Zhang and Bowen Du and Rongcan Pei},
      year={2026},
      journal={ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
      volume={2026},
      doi={},
      url={}
}