Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage.

Martin Jons, Jan Strejcek, Marek Trtk, Luks Urban

Browse the full TACAS paper archive.