Travelled to:
1 × USA
Collaborated with:
P.Sagdeo D.Pal S.Vasudevan
Talks about:
regress (1) generat (1) automat (1) invari (1) local (1) test (1) use (1) bug (1)
Person: Nicholas Ewalt
DBLP: Ewalt:Nicholas
Contributed to:
Wrote 1 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.