Travelled to:1 × USA
Collaborated with:J.Bergeron H.Foster R.S.Mitra C.Ahlschlager D.Stein
Talks about:finess (1) verif (1) trade (1) build (1) brute (1) test (1) plan (1) forc (1)
Person: A. Piziali
DBLP: Piziali:A=
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.