@misc{indiciae077940467269,
  title = {Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction},
  author = {Muhammad Ali Hassan Ahmad and Muhammad Hashim Ali and Muhammad Ali Amer and Muhammad Naiman Jalil and Muhammad Hassan and Affan Rauf},
  year = {2026},
  url = {https://arxiv.org/abs/2608.10265},
  note = {Source identifier: 2608.10265}
}