Mukul R. Prasad
ASA College(US)Indian Institute of Management Ranchi(IN)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Software Engineering Research, Software Reliability and Analysis Research, Embedded Systems Design Techniques
Most-Cited Works
- → A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications(2013)306 cited
- → A survey of recent advances in SAT-based formal verification(2005)273 cited
- → Automated testing with targeted event sequence generation(2013)200 cited
- → Elixir: Effective object-oriented program repair(2017)196 cited
- → Bugs.jar(2018)165 cited
- → Automated cross-browser compatibility testing(2011)147 cited
- → Using SAT for combinational equivalence checking(2001)133 cited