BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Shashidhar:K=_C=

Contributed to:

ISSTA 20112011
ASE 20102010
CAV 20092009
CAV 20082008
SEFM 20082008
SEFM 20072007
CC 20052005
DATE 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.