GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

Rafael Dutra, Jonathan Bachrach, Koushik Sen

Browse the full FMCAD paper archive.