Inferring API Correct Usage Rules: A Tree-based Approach. - Majid Zolfaghari; Solmaz Salimi; Mehdi Kharrazi (ISCISC, 2019)

Improving real-world vulnerability characterization with vulnerable slices. - Solmaz Salimi; Maryam Ebrahimzadeh; Mehdi Kharrazi (PROMISE, 2020)

VulSlicer: Vulnerability detection through code slicing. - Solmaz Salimi; Mehdi Kharrazi (J. Syst. Softw., 2022)

Blue-Pill Oxpecker: A VMI Platform for Transactional Modification. - Seyed Mohammad AghamirMohammadAli; Behnam Momeni; Solmaz Salimi; Mehdi Kharrazi (IEEE Trans. Cloud Comput., 2023)

SyzRisk: A Change-Pattern-Based Continuous Kernel Regression Fuzzer. - Gwangmu Lee; Duo Xu; Solmaz Salimi; Byoungyoung Lee; Mathias Payer (AsiaCCS, 2024)