Cross-Entropy Based Testing.

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov

Browse the full FMCAD paper archive.