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 × Australia
1 × France
1 × Germany
1 × India
1 × Luxembourg
2 × USA
Collaborated with:
U.Shrotri G.M.Krishna S.Sukumaran A.Sreenivas P.Bhaduri P.Darke B.Chimdyalwar S.Kumar S.Agrawal N.Hirve T.Muske D.Kholkar R.Metta A.Yeolekar D.Unadkat V.Agarwal M.Afzal A.Asia A.Chauhan A.Datar
Talks about:
specif (3) model (3) check (3) use (3) generat (2) visual (2) requir (2) test (2) structur (1) properti (1)

Person: R. Venkatesh

DBLP DBLP: Venkatesh:R=

Contributed to:

DATE 20152015
DATE 20142014
ICST 20132013
SEKE 20102010
SEFM 20062006
SOFTVIS 20052005
SEFM 20032003
ASE 20192019

Wrote 8 papers:

DATE-2015-DarkeCVSM #approximate #bound #model checking #using
Over-approximating loops to prove properties using bounded model checking (PD, BC, RV, US, RM), pp. 1407–1412.
DATE-2014-VenkateshSKA #named #specification
EDT: A specification notation for reactive systems (RV, US, GMK, SA), pp. 1–6.
ICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using
Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
Feature based Structuring and Composing of SDLC Artifacts (NH, TM, US, RV), pp. 583–586.
SEFM-2006-SukumaranSV #approach #requirements #validation
A Rigorous Approach to Requirements Validation (SS, AS, RV), pp. 236–245.
SOFTVIS-2005-KholkarKSV #analysis #case study #specification #visual notation
Visual specification and analysis of use cases (DK, GMK, US, RV), pp. 77–85.
SEFM-2003-ShrotriBV #model checking #requirements #specification #visual notation
Model Checking Visual Specification of Requirements (US, PB, RV), pp. 202–209.
ASE-2019-AfzalACCDDKV #abstraction #generative #testing #verification
VeriAbs : Verification by Abstraction and Test Generation (MA, AA, AC, BC, PD, AD, SK, RV), pp. 1138–1141.

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.