Travelled to:1 × Belgium
1 × Canada
1 × France
1 × Germany
1 × South Africa
1 × USA
2 × United Kingdom
Collaborated with:S.Ramesh A.C.Rajeev P.Sampath M.Bruynooghe F.Catthoor G.Janssens M.Shahbaz R.Eschbach A.Kanade R.Alur F.Ivancic S.Sankaranarayanan A.A.Gadkari A.Yeolekar J.Suresh S.Mohalik
Talks about:generat (5) test (4) code (4) transform (2) program (2) equival (2) system (2) verif (2) sourc (2) model (2)
Person: K. C. Shashidhar
DBLP: Shashidhar:K=_C=
Contributed to:
2011
2010
20092008
20082007
2005
2005Wrote 8 papers:
- ISSTA-2011-ShahbazSE #component #embedded #refinement #specification
- Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
- ASE-2010-RajeevSSR #code generation #named #testing
- CoGenTe: a tool for code generator testing (ACR, PS, KCS, SR), pp. 349–350.
- CAV-2009-KanadeAIRSS #generative #modelling
- Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
- CAV-2008-GadkariYSRMS #automation #embedded #generative #named
- AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems (AAG, AY, JS, SR, SM, KCS), pp. 204–208.
- SEFM-2008-SampathRRS #behaviour #code generation #testing
- Behaviour Directed Testing of Auto-code Generators (PS, ACR, SR, KCS), pp. 191–200.
- SEFM-2007-SampathRSR #case study #generative #how #using
- How to Test Program Generators? A Case Study using flex (PS, ACR, KCS, SR), pp. 80–92.
- CC-2005-ShashidharBCJ #equivalence #program transformation #source code #verification
- Verification of Source Code Transformations by Program Equivalence Checking (KCS, MB, FC, GJ), pp. 221–236.
- DATE-2005-ShashidharBCJ #algebra #equivalence #functional #source code #verification
- Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code (KCS, MB, FC, GJ), pp. 1310–1315.