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: "Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings"
  editor:
  - name: "Aarti Gupta"
    link: "https://researchr.org/alias/aarti-gupta"
  - name: "Sharad Malik"
    link: "https://researchr.org/alias/sharad-malik"
  volume: "5123"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70543-7"
  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: "Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008"
  editor:
  - name: "Luca de Alfaro"
    link: "https://researchr.org/alias/luca-de-alfaro"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  publisher: "ACM"
  isbn: "978-1-60558-468-3"
  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: "Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings"
  editor:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  volume: "5643"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02657-7"
  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: "Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008"
  editor:
  - name: "Antonio Cerone"
    link: "https://researchr.org/alias/antonio-cerone"
  - name: "Stefan Gruner"
    link: "https://researchr.org/alias/stefan-gruner"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3437-4"
  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: "Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2007, April 3-6, 2007, Bellevue, Washington, USA"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2800-7"
  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: "Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2884-7"
  kind: "inproceedings"
  key: "SampathRSR07"