[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Cross-Entropy Based Testing
Chockler, Hana, Farchi, Eitan, Godlin, Benny, Novikov, SergeyYear:
2007
Language:
english
DOI:
10.1109/famcad.2007.19
File:
PDF, 188 KB
english, 2007