publications: - 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: "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: "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"