A concolic whitebox fuzzer for Java (2009)

by K Jayaraman, D Harvison, V Ganeshan, A Kiezun
Venue:In: Proc. of the 1st NASA Formal Methods Symposium