Travelled to:2 × USA
Collaborated with:S.Vasudevan S.Ma S.Hertz P.Sagdeo S.Kowshik
Talks about:code (2) use (2) program (1) coverag (1) cluster (1) analysi (1) invari (1) assert (1) sourc (1) preci (1)
Person: Viraj Athavale
DBLP: Athavale:Viraj
Contributed to:
2014
2011Wrote 2 papers:
- DAC-2014-AthavaleMHV #analysis #source code #test coverage #using
- Code Coverage of Assertions Using RTL Source Code Analysis (VA, SM, SH, SV), p. 6.
- ASE-2011-SagdeoAKV #clustering #invariant #named #using
- PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.