Travelled to:1 × USA
Collaborated with:J.Bergeron H.Foster A.Piziali C.Ahlschlager D.Stein
Talks about:finess (1) verif (1) trade (1) build (1) brute (1) test (1) plan (1) forc (1)
Person: R. S. Mitra
DBLP: Mitra:R=_S=
Contributed to:
2006Wrote 1 papers:
- DAC-2006-BergeronFPMAS #testing #verification
- Building a verification test plan: trading brute force for finesse (JB, HF, AP, RSM, CA, DS), pp. 805–806.