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: Rayadurgam:Sanjai
Facilitated 2 volumes:
PrCoPrCoContributed to:
2014
2013
20032001
2001
1996
19962015Wrote 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.