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 × Austria
1 × Canada
1 × Sweden
4 × USA
Collaborated with:
M.P.E.Heimdahl X.Chen W.Tsai Y.Wang G.Gay Y.Choi A.Murugesan M.W.Whalen W.Visser G.Devaraj J.Gao H.Huang M.H.Poonawala D.You J.Komp B.Kim O.Sokolsky
Talks about:
model (5) test (3) softwar (2) program (2) generat (2) system (2) autom (2) constraint (1) implement (1) platform (1)

♂ Person: Sanjai Rayadurgam

DBLP DBLP: Rayadurgam:Sanjai

Facilitated 2 volumes:

CBSE 2014PrCo
CBSE 2013PrCo

Contributed to:

ASE 20142014
HILT 20132013
FATES 20032003
ASE 20012001
ESEC/FSE 20012001
ICSM 19961996
SEKE 19961996
ASE 20152015

Wrote 8 papers:

ASE-2014-GayRH #automation
Improving the accuracy of oracle verdicts through automated model steering (GG, SR, MPEH), pp. 527–538.
HILT-2013-MurugesanWRH #composition #verification
Compositional verification of a medical device system (AM, MWW, SR, MPEH), pp. 51–64.
FATES-2003-HeimdahlRVDG #case study #model checking #sequence #testing #using
Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.
ASE-2001-Rayadurgam #automation #formal method #generative #modelling #testing
Automated Test-Data Generation from Formal Models of Software (SR), p. 438.
ESEC-FSE-2001-ChoiRH #abstraction #automation #constraints #model checking
Automatic abstraction for model checking software systems with interrelated numeric constraints (YC, SR, MPEH), pp. 164–174.
ICSM-1996-ChenTHPRW #c++ #ide #maintenance #named
Omega — an integrated environment for C++ program maintenance (XC, WTT, HH, MHP, SR, YW), p. 114–?.
SEKE-1996-WangTCR #analysis #slicing
The Role of Program Slicing in Ripple Effect Analysis (YW, WTT, XC, SR), pp. 369–376.
ASE-2015-YouRHKKS #implementation #modelling #testing
Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.

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.