@inproceedings{GadkariYSRMS08,
  title = {AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems},
  author = {Ambar A. Gadkari and Anand Yeolekar and J. Suresh and S. Ramesh and Swarup Mohalik and K. C. Shashidhar},
  year = {2008},
  doi = {10.1007/978-3-540-70545-1_19},
  url = {http://dx.doi.org/10.1007/978-3-540-70545-1_19},
  tags = {control systems, testing, C++},
  researchr = {https://researchr.org/publication/GadkariYSRMS08},
  cites = {0},
  citedby = {0},
  pages = {204-208},
  booktitle = {cav},
}

@inproceedings{AlurKRS08,
  title = {Symbolic analysis for improving simulation coverage of Simulink/Stateflow models},
  author = {Rajeev Alur and Aditya Kanade and S. Ramesh and K. C. Shashidhar},
  year = {2008},
  doi = {10.1145/1450058.1450071},
  url = {http://doi.acm.org/10.1145/1450058.1450071},
  tags = {analysis, C++, coverage},
  researchr = {https://researchr.org/publication/AlurKRS08},
  cites = {0},
  citedby = {0},
  pages = {89-98},
  booktitle = {emsoft},
}

@inproceedings{KanadeAIRSS09,
  title = {Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models},
  author = {Aditya Kanade and Rajeev Alur and Franjo Ivančić and S. Ramesh and Sriram Sankaranarayanan and K. C. Shashidhar},
  year = {2009},
  doi = {10.1007/978-3-642-02658-4_33},
  url = {http://dx.doi.org/10.1007/978-3-642-02658-4_33},
  tags = {C++},
  researchr = {https://researchr.org/publication/KanadeAIRSS09},
  cites = {0},
  citedby = {0},
  pages = {430-445},
  booktitle = {cav},
}

@inproceedings{SampathRRS08,
  title = {Behaviour Directed Testing of Auto-code Generators},
  author = {Prahladavaradan Sampath and A. C. Rajeev and S. Ramesh and K. C. Shashidhar},
  year = {2008},
  doi = {10.1109/SEFM.2008.13},
  url = {http://dx.doi.org/10.1109/SEFM.2008.13},
  tags = {testing, C++},
  researchr = {https://researchr.org/publication/SampathRRS08},
  cites = {0},
  citedby = {0},
  pages = {191-200},
  booktitle = {SEFM},
}

@inproceedings{SampathRRS07,
  title = {Testing Model-Processing Tools for Embedded Systems},
  author = {Prahladavaradan Sampath and A. C. Rajeev and S. Ramesh and K. C. Shashidhar},
  year = {2007},
  doi = {10.1109/RTAS.2007.39},
  url = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2007.39},
  tags = {testing, C++, process modeling},
  researchr = {https://researchr.org/publication/SampathRRS07},
  cites = {0},
  citedby = {0},
  pages = {203-214},
  booktitle = {rtas},
}

@inproceedings{SampathRSR07,
  title = {How to Test Program Generators? A Case Study using flex},
  author = {Prahladavaradan Sampath and A. C. Rajeev and K. C. Shashidhar and S. Ramesh},
  year = {2007},
  doi = {10.1109/SEFM.2007.24},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.24},
  tags = {case study, testing, C++},
  researchr = {https://researchr.org/publication/SampathRSR07},
  cites = {0},
  citedby = {0},
  pages = {80-92},
  booktitle = {SEFM},
}