Semantic fuzzing with zest.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Browse the full ISSTA paper archive.