Scholar

Muhammad Zubair Malik

Google Scholar ID: xFU5xgUAAAAJ

Research Scientist at CMU

Software EngineeringVerificationValidationTestingSecurity

Google Scholar↗

Citations & Impact

All-time

Citations

541

H-index

12

i10-index

14

Publications

20

Co-authors

2

list available

Contact

No contact links provided.

Publications

2 items

LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software

2026

Cited

0

QuIM-RAG: Advancing Retrieval-Augmented Generation With Inverted Question Matching for Enhanced QA Performance

IEEE Access · 2025

Cited

0

Resume (English only)

Co-authors

2 total

Sarfraz Khurshid

Professor, University of Texas at Austin