Muhammad A. A. Pirzada

According to our database, Muhammad A. A. Pirzada authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling.

Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024