| Regression test selection techniques: A survey S Biswas, R Mall, M Satpathy, S Sukumaran Informatica 35 (3), 2011 | 184 | 2011 |
| System and method for real-time detection of an emergency situation occuring in a vehicle M SATPATHY US Patent App. 13/082,227, 2012 | 173 | 2012 |
| Randomized directed testing (REDIRECT) for Simulink/Stateflow models M Satpathy, A Yeolekar, S Ramesh Proceedings of the 8th ACM international conference on Embedded software …, 2008 | 75 | 2008 |
| ProTest: An automatic test environment for B specifications M Satpathy, M Leuschel, M Butler Electronic Notes in Theoretical Computer Science 111, 113-136, 2005 | 66 | 2005 |
| An integrated test generation tool for enhanced coverage of Simulink/Stateflow models P Peranandam, S Raviram, M Satpathy, A Yeolekar, A Gadkari, ... 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 308-311, 2012 | 53 | 2012 |
| SSD internal cache management policies: A survey S Tripathy, M Satpathy Journal of systems architecture 122, 102334, 2022 | 41 | 2022 |
| Cross-layer analysis, testing and verification of automotive control software M Broy, S Chakraborty, D Goswami, S Ramesh, M Satpathy, S Resmerita, ... Proceedings of the ninth ACM international conference on Embedded software …, 2011 | 40 | 2011 |
| A generic model for assessing process quality M Satpathy, R Harrison, C Snook, M Butler International Workshop on Software Measurement, 94-110, 2000 | 38 | 2000 |
| Automatic testing from formal specifications M Satpathy, M Butler, M Leuschel, S Ramesh International Conference on Tests and Proofs, 95-113, 2007 | 37 | 2007 |
| Extracting State Models for Black-Box Software Components. RR Suman, R Mall, S Sukumaran, M Satpathy J. Object Technol. 9 (3), 79-103, 2010 | 35 | 2010 |
| A comparative study of formal and informal specifications through an industrial case study M Satpathy, R Harrison, C Snook, M Butler | 33 | 2001 |
| A model-based regression test selection approach for embedded applications S Biswas, R Mall, M Satpathy, S Sukumaran ACM SIGSOFT Software Engineering Notes 34 (4), 1-9, 2009 | 27 | 2009 |
| Fuzzy fairness controller for NVMe SSDs S Tripathy, D Sahoo, M Satpathy, M Mutyam Proceedings of the 34th ACM International Conference on Supercomputing, 1-12, 2020 | 23 | 2020 |
| A generic model and tool support for assessing and improving Web processes D Rodríguez, R Harrison, M Satpathy Proceedings Eighth IEEE Symposium on Software Metrics, 141-151, 2002 | 21 | 2002 |
| Efficient coverage of parallel and hierarchical stateflow models for test case generation M Satpathy, A Yeolekar, P Peranandam, S Ramesh Software Testing, Verification and Reliability 22 (7), 457-479, 2012 | 18 | 2012 |
| A formal model of context-awareness and context-dependency M Neovius, K Sere, L Yan, M Satpathy Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 17 | 2006 |
| Latitudinal and longitudinal process diversity NT Siebel, S Cook, M Satpathy, D Rodriguez Journal of Software Maintenance and Evolution: Research and Practice 15 (1 …, 2003 | 17 | 2003 |
| Ddos vulnerabilities analysis in sdn controllers: Understanding the attacking strategies M Sinha, P Bera, M Satpathy 2023 International Conference on Wireless Communications Signal Processing …, 2023 | 16 | 2023 |
| Localityguru: A ptx analyzer for extracting thread block-level locality in gpgpus D Tripathy, A Abdolrashidi, Q Fan, D Wong, M Satpathy 2021 IEEE International Conference on Networking, Architecture and Storage …, 2021 | 16 | 2021 |
| Slumber: static-power management for gpgpu register files D Tripathy, H Zamani, D Sahoo, LN Bhuyan, M Satpathy Proceedings of the ACM/IEEE International Symposium on Low Power Electronics …, 2020 | 16 | 2020 |
