Travelled to:
2 × USA
Collaborated with:
S.Vasudevan N.Ewalt D.Pal V.Athavale S.Kowshik
Talks about:
invari (2) use (2) regress (1) program (1) generat (1) cluster (1) automat (1) preci (1) local (1) infer (1)
Person: Parth Sagdeo
DBLP: Sagdeo:Parth
Contributed to:
Wrote 2 papers:
- ASE-2013-SagdeoEPV #automation #debugging #invariant #locality #testing #using
- Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
- ASE-2011-SagdeoAKV #clustering #invariant #named #using
- PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.