Michal Zalewski wrote a great breakdown of the current difficulties in automated fuzzing research, specifically in symbolic execution: The uses of [...] emerging technologies to spot substantial vu...