publications:
- title: "AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems"
  author:
  - name: "Ambar A. Gadkari"
    link: "http://in.linkedin.com/in/ambargadkari"
  - name: "Anand Yeolekar"
    link: "https://researchr.org/alias/anand-yeolekar"
  - name: "J. Suresh"
    link: "https://researchr.org/alias/j.-suresh"
  - name: "S. Ramesh"
    link: "http://www.gm.com/experience/technology/research/people/ramesh.jsp"
  - name: "Swarup Mohalik"
    link: "https://researchr.org/alias/swarup-mohalik"
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_19"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GadkariYSRMS08"
- title: "Symbolic analysis for improving simulation coverage of Simulink/Stateflow models"
  author:
  - name: "Rajeev Alur"
    link: "http://www.cis.upenn.edu/~alur"
  - name: "Aditya Kanade"
    link: "http://www.csa.iisc.ernet.in/~kanade"
  - name: "S. Ramesh"
    link: "http://www.gm.com/experience/technology/research/people/ramesh.jsp"
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1450058.1450071"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AlurKRS08"
- title: "Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models"
  author:
  - name: "Aditya Kanade"
    link: "http://www.csa.iisc.ernet.in/~kanade"
  - name: "Rajeev Alur"
    link: "http://www.cis.upenn.edu/~alur"
  - name: "Franjo Ivančić"
    link: "http://www.nec-labs.com/~ivancic"
  - name: "S. Ramesh"
    link: "http://www.gm.com/experience/technology/research/people/ramesh.jsp"
  - name: "Sriram Sankaranarayanan"
    link: "http://www.cs.colorado.edu/~srirams"
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_33"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KanadeAIRSS09"
- title: "Behaviour Directed Testing of Auto-code Generators"
  author:
  - name: "Prahladavaradan Sampath"
    link: "http://prahlad.sampath.googlepages.com"
  - name: "A. C. Rajeev"
    link: "http://in.linkedin.com/in/acrajeev"
  - name: "S. Ramesh"
    link: "http://www.gm.com/experience/technology/research/people/ramesh.jsp"
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SEFM.2008.13"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SampathRRS08"
- title: "Testing Model-Processing Tools for Embedded Systems"
  author:
  - name: "Prahladavaradan Sampath"
    link: "http://prahlad.sampath.googlepages.com"
  - name: "A. C. Rajeev"
    link: "http://in.linkedin.com/in/acrajeev"
  - name: "S. Ramesh"
    link: "http://www.gm.com/experience/technology/research/people/ramesh.jsp"
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RTAS.2007.39"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SampathRRS07"
- title: "How to Test Program Generators? A Case Study using flex"
  author:
  - name: "Prahladavaradan Sampath"
    link: "http://prahlad.sampath.googlepages.com"
  - name: "A. C. Rajeev"
    link: "http://in.linkedin.com/in/acrajeev"
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  - name: "S. Ramesh"
    link: "http://www.gm.com/experience/technology/research/people/ramesh.jsp"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.24"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SampathRSR07"