팔로우
Dr. Manoranjan Satpathy
Dr. Manoranjan Satpathy
Associate Professor of Computer Science, IIT Bhubaneswar
iitbbs.ac.in의 이메일 확인됨
제목
인용
인용
연도
Regression test selection techniques: A survey
S Biswas, R Mall, M Satpathy, S Sukumaran
Informatica 35 (3), 2011
1592011
System and method for real-time detection of an emergency situation occuring in a vehicle
M Satpathy
US Patent App. 13/082,227, 2012
1282012
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
722008
ProTest: An automatic test environment for B specifications
M Satpathy, M Leuschel, M Butler
Electronic Notes in Theoretical Computer Science 111, 113-136, 2005
632005
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
482012
A generic model for assessing process quality
M Satpathy, R Harrison, C Snook, M Butler
International Workshop on Software Measurement, 94-110, 2000
372000
Automatic testing from formal specifications
M Satpathy, M Butler, M Leuschel, S Ramesh
International Conference on Tests and Proofs, 95-113, 2007
362007
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
342011
A comparative study of formal and informal specifications through an industrial case study
M Satpathy, R Harrison, C Snook, M Butler
312001
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
242009
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
Extracting State Models for Black-Box Software Components.
RR Suman, R Mall, S Sukumaran, M Satpathy
J. Object Technol. 9 (3), 79-103, 2010
192010
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
172012
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
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
142004
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
132020
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
122013
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
122007
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
122006
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20