Prof. Manoranjan SatpathyProfessor
School of Electrical Sciences
(Computer Science & Engineering)

Research Interests

Software Testing & Verification, Software Engineering, Formal Methods

Contact Details

  • SES-221
  • 674-713-5728

Other Profile Link(s)


 Degree Discipline Year School
 Ph.D Computer Science 1997 IIT Bombay





Author(s) Recent Publication (International Journals)
S. Biswas, R. Mall, M. Satpathy
1 A Regression Test Selection Technique for Embedded Software, to appear in ACM Transactions on Embedded Computing Systems.
M. Satpathy, A. Yeolekar, P. Peranandam, S. Ramesh
2 Efficient coverage of parallel and hierarchical Stateflow models for test case generation, Journal of Software Testing, Verification and Reliability, Wiley Interscience, Vol. 22(7), pp. 457-479, September 2012.
S. Biswas, R. Mall, M. Satpathy
3 Task Dependency Analysis for regression test selection of Embedded Programs, IEEE Embedded System Letters, V 3(4), 2011, pp.117-120
S. Biswas, R. Mall, M. Satpathy, S. Sukumaran
4 Regression Test Selection Techniques: A Survey, Journal Informatica, published by Slovenia Society of Informatics, Vol 35(2011), 289-321.
R. Suman, R. Mall, S. Sukumaran, M. Satpathy
5 Extracting state models for black-box software components, Journal of Object Technology, published by ETS Zurich, Vol 9(3): 79-103, 2010.
L. Tsiopoulos, M. Satpathy
6 Model based testing of a Network-on-Chip component, Electronics Notes on Theoretical Computer Science, Elsevier, 253(2):101-116, 2009.
H.K. Misra, M. Satpathy, H. Mohanty
7 Measuring user's role to assess organization preparedness in a systems acquisition life cycle: a cognitive framework, Intnl. Journal of Information and Communication Technology, Inderscience publichers, Vol 1(1), pp. 50-61, 2007.
M. Satpathy, M. Leuschel , M. Butler
8 ProTest: An Automatic Test Environment for B Specifications, Electronics Notes on Theoretical Computer Science (ENTCS), Elsevier, (111): 113-136, 2005.
NT Siebel, S. Cook, M. Satpathy, D. Rodriguez
9 Latitudinal and longitudinal process diversity, Journal of Software Maintenance and Evolution, John Wiley, Vol. 15(1), 9-25, 2003.
S. Mishra, K Sikdar, M. Satpathy
10 Optimizing register spills for eager functional languages, Future Generation Computer Systems, Elsevier, Vol 18(5): 699-708, 2002. Elsevier
M. Satpathy, A. Sanyal, G. Venkatesh
11 Improved Register Usage for Functional Program through Multiple Function Versions, Journal of Functional and Logic Programming (JFLP) Vol 1998(7), MIT Press, 1998.
Recent Publication (International Conferences) Author(s)/Speaker(s)
A Mixed Approach to Rigorous Development of Control Designs, to appear in the Proc. of the IEEE Conf. on Computer Aided Control Design – Systems under uncertainty (CSCSD-SU), Hederabad, August 2013.
M Satpathy, S Ramesh, C. Snook, NK Singh, M. Butler
Systematic Development of Control Designs via Formal Refinement, Proc. of the International Conf. on Model Driven Engineering and Software Development, Barcelona, Feb 2013.
M.Satpathy, C. Snook, S. Arora, S. Ramesh, M. Butler
SmartTestGen+: A Test suite booster for enhanced structural coverage, Intnl. Colloquium in Theoretical Aspects of Computing (ICTAC’12), LNCS Volume 7521, September 2012.
S. Raviram, P. Peranandam, M. Satpathy, S. Ramesh
SmartTestGen: An integrated test generation framework for enhanced coverage of Simulink/Stateflow models, IEEE Design Automation & Test in Europe Conf. (DATE’12), pp. 308-311, 2012
P. Peranandam, S. Raviram, M. Satpathy, A. Yeolekar, A. Gadkari, S. Ramesh
Cross-layer analysis, testing and verification of automotive control software, in Proc. of ACM EMSOFT’11 (International Conference on Embedded Software), pp. 263-272, 2011.
M. Broy, S. Chakrabarty, D. Goswami, S. Ramesh, M. Satpathy, S. Resmeretia, W. Pree
Formal foundation to systematic development of Simulink/Stateflow models, Proc. of the Dagstuhl Seminar on Refinement based methods for the construction of dependable systems, 2009.
M. Satpathy, S. Ramesh
Randomized Directed Testing (REDIRECT) for Simulink/Stateflow models, in Proc. of ACM EMSOFT’08 (International Conference on Embedded Software), 2008, pp. 217-226.
M. Satpathy, A. Yeolekar, S. Ramesh
Test case generation from formal models through abstraction refinement and model checking, ACM workshop on Advances in Model Based Testing (A-MOST), 2007
M. Satpathy, S. Ramesh
Automatic Testing from Formal Specifications, in Proc. of Intnl. Conf. on Testing and Proofs (TAP’07), LNCS 4454, pp. 95-113, 2007.
M. Satpathy, M. Butler, M. Leuschel, S. Ramesh
Synthesis of Scenario Based Test Cases from B Models, in Proc. of FATES/RV 2006 (Formal Approaches to Software Testing and Runtime Verification, LNCS. 4262, Springer, pp. 133-147, 2006.
M. Satpathy, Q. Malik, J. Lilius
A Formal Model of Context-Awareness and Context-Dependency, IEEE SEFM’06 (Software Engineering and Formal Methods), 177-185, 2006.
M. Neovius, K. Sere, L. Yuan, M. Satpathy
Refactoring of Assertions in Design by Contract, Internl. Workshop on Object-Oriented Reengineering (WOOR2006), in conjuntion with the European Conference on Object-Oriented Programming (ECOOP), Nantes, 2006.
D. Rodríguez, M. Satpathy, J. Coves, J.J. Cuadrado
Managing Information Technology Acquisition in Organizations: a Strategic Evaluation Framework, e-Commerce 2005 Proceedings, 2005.
H.K. Misra, M. Satpathy, B. Mohanty
Assertions in Object Oriented Software Maintenance: Analysis and a Case Study, IEEE ICSM’04 (International Conference on Software Maintenance), 2004, pp. 124-135.
M. Satpathy, N.T. Siebel, D. Rodriguez
Effective Software Project Management Education through Simulation Models: An Externally Replicated Experiment, Proc of PROFES (Product Focused Process Improvement), LNCS 3009, Springer, 287-301, 2004.
D. Rodriguez, M. Satpathy, D. Pfahl
High Performance Code Generation through Lazy Activation Records, IEEE Workshop on INTERACT (Interaction between in Compilers and Computer Architectures), 2003, pp. 37-50,
M.Satpathy, RN Mahapatra, S. Choudhury, S. Chitnis
A Typed Generic Process Model for Product Focused Process Improvement, IEEE COMPSAC’02, pp.379-384. 2002.
M. Satpathy, R. Harrison
An Investigation of Prediction Models for Project Management, IEEE COMPSAC’02 (Conference on Computer Science and Applications), pp. 779-784.
D. Rodriguez, R. Harrison, M. Satpathy, J. Dolado
Maintenance of Object Oriented Systems through Re-Engineering: A Case Study, IEEE ICSM’02 (Intnl. Conf on Software Maintenance), pp. 540-549.
M. Satpathy, N.T. Siebel, D. Rodriguez
Generic Model and Tool Support for Assessing and Improving Web Processes, IEEE METRICS’02 (Intnl . Software Metrics Symposium), pp. 141-151.
D. Rodriguez, R. Harrison, M. Satpathy
A Comparative Study of Formal and Informal Specifications through an Industrial Case Study, Proc IEEE/IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS’01), 2001.
M. Satpathy, R. Harrison, C. Snook, M. Butler
Tool support for the typed generic process model, In Current Trends in Software Measurement (Dumke, Abran (eds)), Proc. 11thInternational Workshop on Software Measurement, (IWSM’01), Shaker Verlag, 2001.
D. Rodriguez, R. Harrison, M. Satpathy
A Generic Model for Assessing Process Quality, Intnl Workshop on Software Measurement (IWSM’2000), LNCS No. 2006, Springer, pp. 94-110, 2000.
M. Satpathy, R. Harrison, C. Snook, M. Butler
Some Decidability Results for Duration Calculus under Synchronous Interpretation, FTRTFT’98 (Formal Techniques in Real-Time and Fault Tolerant Systems), LNCS 1486, Springer, pp. 186-197, 1998.
M. Satpathy, DV Hung, PK Pandya
Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness, ASIAN 1995 (Asian Computer Science Conference), LNCS 1023, Springer, pp. 88-102, 1995.
M. Satpathy, A. Sanyal, G. Venkatesh
Rationalized Three Instruction Machine, ACM POPL workshop on Intermediate Representation (IR’95), Sigplan Notices special issue, pp. 94-102, 1995.
SV Chitnis, M. Satpathy, S. Oberoi
Improved Compilation of Functional Programs through Voltage Graphs, National seminar on Theoretical Computer Science, 1995.
M. Satpathy, A. Sanyal

Academic Honors & Awards

  • Discovery Project Award from Global General Motors R&D

Research Scholar

None at present

Professional Experience

8 years of Teaching + 7 years in industry

Contact Us