Mayur Naik
Seva Mandir(IN)La Maddalena(IT)University of Pennsylvania(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification
Most-Cited Works
- → CloneCloud(2011)1,874 cited
- → Scalable statistical bug isolation(2005)727 cited
- → Dynodroid: an input generation system for Android apps(2013)702 cited
- → Effective static race detection for Java(2006)424 cited
- → Automated concolic testing of smartphone apps(2012)402 cited
- → From symptom to cause(2003)300 cited
- → A randomized dynamic program analysis technique for detecting real deadlocks(2009)190 cited