Dr. Manoranjan Satpathy
Dr. Manoranjan Satpathy
Associate Professor of Computer Science, IIT Bhubaneswar
Dirección de correo verificada de iitbbs.ac.in
Citado por
Citado por
Regression test selection techniques: A survey
S Biswas, R Mall, M Satpathy, S Sukumaran
Informatica 35 (3), 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
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
ProTest: An automatic test environment for B specifications
M Satpathy, M Leuschel, M Butler
Electronic Notes in Theoretical Computer Science 111, 113-136, 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
A generic model for assessing process quality
M Satpathy, R Harrison, C Snook, M Butler
International Workshop on Software Measurement, 94-110, 2000
Automatic testing from formal specifications
M Satpathy, M Butler, M Leuschel, S Ramesh
International Conference on Tests and Proofs, 95-113, 2007
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
A comparative study of formal and informal specifications through an industrial case study
M Satpathy, R Harrison, C Snook, M Butler
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
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
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
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
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
Effective software project management education through simulation models: An externally replicated experiment
D Rodríguez, M Satpathy, D Pfahl
International Conference on Product Focused Software Process Improvement …, 2004
Extracting State Models for Black-Box Software Components.
RR Suman, R Mall, S Sukumaran, M Satpathy
J. Object Technol. 9 (3), 79-103, 2010
Synthesis of scenario based test cases from b models
M Satpathy, QA Malik, J Lilius
Formal Approaches to Software Testing and Runtime Verification, 133-147, 2006
Maintenance of object oriented systems through re-engineering: A case study
M Satpathy, NT Siebel, D Rodriguez
International Conference on Software Maintenance, 2002. Proceedings., 540-549, 2002
Test case generation from formal models through abstraction refinement and model checking
M Satpathy, S Ramesh
Proceedings of the 3rd international workshop on Advances in model-based …, 2007
Some decidability results for duration calculus under synchronous interpretation
M Satpathy, D Van Hung, PK Pandya
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20