Travelled to:3 × USA
Collaborated with:D.Geist J.Dushina G.Mas A.Hartman R.Smeets Y.Wolfsthal F.Casaubieilh A.McIsaac M.Bartley F.Pogodalla F.Rocheteau M.Belhadj J.Eggleton G.Barrett C.Berthet
Talks about:generat (2) test (2) methodolog (1) processor (1) chameleon (1) geneviev (1) function (1) coverag (1) formal (1) driven (1)
Person: Mike Benjamin
DBLP: Benjamin:Mike
Contributed to:
200119991996Wrote 3 papers:
- DAC-2001-DushinaBG #generative #testing
- Semi-Formal Test Generation with Genevieve (JD, MB, DG), pp. 617–622.
- DAC-1999-BenjaminGHMSW #case study #generative #testing
- A Study in Coverage-Driven Test Generation (MB, DG, AH, GM, RS, YW), pp. 970–975.
- DAC-1996-CasaubieilhMBBPRBEMBB #functional #verification
- Functional Verification Methodology of Chameleon Processor (FC, AM, MB, MB, FP, FR, MB, JE, GM, GB, CB), pp. 421–426.