Software Testing & Verification, Software Engineering, Formal Methods
| 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 |