2
Publications
53
Citations
2
H-Index
2022
Active since
Affiliations
Sallar Ahmadi-Pour is an author at German Research Centre for Artificial Intelligence.
Publications per year
2022–2024
2
2
LLM-Guided Formal Verification Coupled with Mutation Testing
Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum et al. · 2024 · 33 citations
Rows per page
1–2 of 2