dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Manoranjan Satpathy (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrakash 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSachin Raviram, Prakash Peranandam, Manoranjan Satpathy, S. Ramesh: SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. ICTAC 2012: 164-167
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManoranjan Satpathy, Anand Yeolekar, S. Ramesh: Randomized directed testing (REDIRECT) for Simulink/Stateflow models. EMSOFT 2008: 217-226
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManoranjan Satpathy, S. Ramesh: Test case generation from formal models through abstraction refinement and model checking. A-MOST 2007: 85-94
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh: Automatic Testing from Formal Specifications. TAP 2007: 95-113

Selection of 6 from 31 records - Manoranjan Satpathy has 53 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page