jFuzz: A concolic whitebox fuzzer for Java (2009)

by K Jayaraman, D Harvison, V Ganesh, A Kiezun
Venue:In NASA Formal Methods Symposium. NASA