Muhammad Hassan is an author at University of Bremen.
Publications per year
2024–2024
1
1
LLM-Guided Formal Verification Coupled with Mutation Testing
Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum et al. · 2024 · 33 citations
Rows per page
1–1 of 1