BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Satpathy:Manoranjan

Contributed to:

DATE 20122012
MBT 20092009
A-MOST 20072007
TAP 20072007
FATES/RV 20062006
ICSM 20042004
ICSM 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.