@inproceedings{mouzarani2022unit,
  title={A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes},
  author={Mouzarani, Maryam and Kamali, Ali and Baradaran, Sara and Heidari, Mahdi},
  booktitle={International Conference on Tests and Proofs},
  pages={89--105},
  year={2022},
  organization={Springer}
}