Follow
Dr. Manoranjan Satpathy
Dr. Manoranjan Satpathy
Associate Professor of Computer Science, IIT Bhubaneswar
Verified email at iitbbs.ac.in
Title
Cited by
Cited by
Year
Regression test selection techniques: A survey
S Biswas, R Mall, M Satpathy, S Sukumaran
Informatica 35 (3), 2011
1762011
System and method for real-time detection of an emergency situation occuring in a vehicle
M Satpathy
US Patent App. 13/082,227, 2012
1532012
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
742008
ProTest: An automatic test environment for B specifications
M Satpathy, M Leuschel, M Butler
Electronic Notes in Theoretical Computer Science 111, 113-136, 2005
662005
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
502012
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
412001
Automatic testing from formal specifications
M Satpathy, M Butler, M Leuschel, S Ramesh
Tests and Proofs: First International Conference, TAP 2007, Zurich …, 2007
372007
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
352011
A comparative study of formal and informal specifications through an industrial case study
M Satpathy, R Harrison, C Snook, M Butler
342001
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
272009
Extracting State Models for Black-Box Software Components.
RR Suman, R Mall, S Sukumaran, M Satpathy
J. Object Technol. 9 (3), 79-103, 2010
222010
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
202002
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
182012
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
172003
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
162006
SSD internal cache management policies: A survey
S Tripathy, M Satpathy
Journal of Systems Architecture 122, 102334, 2022
142022
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
142020
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
142020
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
142013
Synthesis of scenario based test cases from b models
M Satpathy, QA Malik, J Lilius
International Workshop on Formal Approaches to Software Testing, 133-147, 2006
142006
The system can't perform the operation now. Try again later.
Articles 1–20