@article{baradaran2023unit,
  title={A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes},
  author={Baradaran, Sara and Heidari, Mahdi and Kamali, Ali and Mouzarani, Maryam},
  journal={International Journal of Information Security},
  volume={22},
  number={5},
  pages={1277--1290},
  year={2023},
  publisher={Springer}
}