Travelled to:1 × Canada
1 × Germany
1 × Switzerland
1 × United Kingdom
2 × USA
Collaborated with:S.Ramesh N.T.Siebel D.Rodríguez L.Tsiopoulos Q.A.Malik J.Lilius M.J.Butler M.Leuschel P.Peranandam S.Raviram A.Yeolekar A.A.Gadkari
Talks about:model (5) test (5) case (4) mainten (2) generat (2) orient (2) object (2) formal (2) studi (2) base (2)
Person: Manoranjan Satpathy
DBLP: Satpathy:Manoranjan
Contributed to:
2012
2009
2007
2007
2006
20042002Wrote 7 papers:
- DATE-2012-PeranandamRSYGR #generative #modelling #testing
- An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
- MBT-2009-TsiopoulosS #component #modelling #testing
- Model Based Testing of a Network-on-Chip Component (LT, MS), pp. 101–116.
- A-MOST-2007-SatpathyR #abstraction #formal method #generative #model checking #modelling #refinement #testing
- Test case generation from formal models through abstraction refinement and model checking (MS, SR), pp. 85–94.
- TAP-2007-SatpathyBLR #automation #specification #testing
- Automatic Testing from Formal Specifications (MS, MJB, ML, SR), pp. 95–113.
- FATES-RV-2006-SatpathyML #modelling #synthesis #testing
- Synthesis of Scenario Based Test Cases from B Models (MS, QAM, JL), pp. 133–147.
- ICSM-2004-SatpathySR #analysis #case study #maintenance #object-oriented
- Assertions in Object Oriented Software Maintenance: Analysis and a Case Study (MS, NTS, DR), pp. 124–135.
- ICSM-2002-SatpathySR #case study #maintenance #object-oriented #re-engineering
- Maintenance of Object Oriented Systems through Re-Engineering: A Case Study (MS, NTS, DR), pp. 540–549.