Statistics
Publications
6
Citations
215
H-Index
6
Active since
2005
Affiliations
Madan Musuvathi is an author at Microsoft Research (United Kingdom) specializing in engineering, computer science, and formal methods.
Publications per year
2005–2019
6
6
What bugs cause production cloud incidents?
Haopeng Liu, Shan Lu, Madan Musuvathi et al. · 2019 · 55 citations
Software Maintenance, A A Service, Provisioning (Technology) +17
Failure recovery: when the cure is worse than the disease
Zhenyu Guo, Sean McDirmid, Mao Yang et al. · 2013 · 35 citations
Modular Arithmetic Decision Procedure
Domagoj Babić, Madan Musuvathi · 2005 · 31 citations
Mathematical Programming, Engineering, Computational Complexity +19
1–5 of 6