| Regression test selection techniques: A survey S Biswas, R Mall, M Satpathy, S Sukumaran Informatica 35 (3), 2011 | 178 | 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 | 162 | 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 | 77 | 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 | 68 | 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 | 51 | 2012 |
| A generic model for assessing process quality M Satpathy, R Harrison, C Snook, M Butler New Approaches in Software Measurement: 10th International Workshop, IWSM …, 2001 | 41 | 2001 |
| 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 | 38 | 2011 |
| Automatic testing from formal specifications M Satpathy, M Butler, M Leuschel, S Ramesh Tests and Proofs: First International Conference, TAP 2007, Zurich …, 2007 | 38 | 2007 |
| A comparative study of formal and informal specifications through an industrial case study M Satpathy, R Harrison, C Snook, M Butler | 34 | 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 |
| Extracting State Models for Black-Box Software Components. RR Suman, R Mall, S Sukumaran, M Satpathy J. Object Technol. 9 (3), 79-103, 2010 | 26 | 2010 |
| SSD internal cache management policies: A survey S Tripathy, M Satpathy Journal of Systems Architecture 122, 102334, 2022 | 22 | 2022 |
| 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 |
| 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 | 18 | 2020 |
| 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 |
| 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 |
| 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 | 16 | 2006 |
| 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 | 15 | 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 | 15 | 2020 |
| A regression test selection technique for embedded software S Biswas, R Mall, M Satpathy ACM Transactions on Embedded Computing Systems (TECS) 13 (3), 1-39, 2013 | 14 | 2013 |
