Manoranjan Satpathy

Manoranjan Satpathy, Anand Yeolekar, Prakash Peranandam, S. Ramesh: Efficient coverage of parallel and hierarchical stateflow models for test case generation. Softw. Test., Verif. Reliab. 22(7): 457-479 (2012)

Prakash Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh: An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. DATE 2012: 308-311

Sachin Raviram, Prakash Peranandam, Manoranjan Satpathy, S. Ramesh: SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. ICTAC 2012: 164-167

Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy: Task Dependency Analysis for Regression Test Selection of Embedded Programs. Embedded Systems Letters 3(4): 117-120 (2011)

Gheorghita Ghinea, Bendik Bygstad, Manoranjan Satpathy: Software Developers in India and Norway: Professional or National Cultures? JITR 4(3): 50-63 (2011)

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree: Cross-layer analysis, testing and verification of automotive control software. EMSOFT 2011: 263-272

Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran, Manoranjan Satpathy: Extracting State Models for Black-Box Software Components. Journal of Object Technology 9(3): 79-103 (2010)

Leonidas Tsiopoulos, Manoranjan Satpathy: Model Based Testing of a Network-on-Chip Component. Electr. Notes Theor. Comput. Sci. 253(2): 101-116 (2009)

Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy, Srihari Sukumaran: A model-based regression test selection approach for embedded applications. ACM SIGSOFT Software Engineering Notes 34(4): 1-9 (2009)

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh: Randomized directed testing (REDIRECT) for Simulink/Stateflow models. EMSOFT 2008: 217-226

Harekrishna Misra, Manoranjan Satpathy, Brajaraj Mohanty: Measuring user's role to assess organisation preparedness in a systems acquisition life cycle: a cognitive framework. IJICT 1(1): 50-61 (2007)

Manoranjan Satpathy, S. Ramesh: Test case generation from formal models through abstraction refinement and model checking. A-MOST 2007: 85-94

Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh: Automatic Testing from Formal Specifications. TAP 2007: 95-113

Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius: Synthesis of Scenario Based Test Cases from B Models. FATES/RV 2006: 133-147

Manoranjan Satpathy, Michael Leuschel, Michael J. Butler: ProTest: An Automatic Test Environment for B Specifications. Electr. Notes Theor. Comput. Sci. 111: 113-136 (2005)

Harekrishna Misra, Manoranjan Satpathy, Brajaraj Mohanty: Organisation Preparedness and Information Technology Acquisition Success: An Assessment Model. AMCIS 2004: 466

Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez: Assertions in Object Oriented Software Maintenance: Analysis and a Case Study. ICSM 2004: 124-135

Daniel Rodríguez, Manoranjan Satpathy, Dietmar Pfahl: Effective Software Project Management Education through Simulation Models: An Externally Replicated Experiment. PROFES 2004: 287-301

Nils T. Siebel, Stephen Cook, Manoranjan Satpathy, Daniel Rodríguez: Latitudinal and longitudinal process diversity. Journal of Software Maintenance 15(1): 9-25 (2003)

Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis: High Performance Code Generation through Lazy Activation Records. Interaction between Compilers and Computer Architectures 2003: 37-50

Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy: Optimizing register spills for eager functional languages. Future Generation Comp. Syst. 18(5): 699-708 (2002)

Manoranjan Satpathy, Rachel Harrison: A Typed Generic Process Model for Product Focused Process Improvement. COMPSAC 2002: 379-384

Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy, José Javier Dolado: An Investigation of Prediction Models for Project Management. COMPSAC 2002: 779-784

Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez: Maintenance of Object Oriented Systems through Re-Engineering: A Case Study. ICSM 2002: 540-549

Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy: A Generic Model and Tool Support for Assessing and Improving Web Processes. IEEE METRICS 2002: 141-151

Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy: Optimizing Register Spills for Eager Functional Languages. International Conference on Computational Science (2) 2001: 128-137

José Cristóbal Riquelme Santos, Isabel Ramos, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano, Miguel Toro, José Javier Dolado, A. Ruiz de Infante, Javier Tuya, P. Fernández, M. A. Prieto, Mercedes Ruiz Carreira, Daniel Rodríguez-García, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez: SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. JISBD 2001: 131-144

Manoranjan Satpathy, Rachel Harrison, Colin F. Snook, Michael J. Butler: A Generic Model for Assessing Process Quality. IWSM 2000: 94-110

Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh: Improved Register Usage for Functional Programs through Multiple Function Versions. Journal of Functional and Logic Programming 1998(7) (1998)

Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya: Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT 1998: 186-197

Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh: An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. ASIAN 1995: 88-102

Sachin V. Chitnis, Manoranjan Satpathy, Sundeep Oberoi: Rationalized Three Instruction Machine. Intermediate Representations Workshop 1995: 94-102