jFuzz: A Concolic Whitebox Fuzzer for Java. - Karthick Jayaraman; David Harvison; Vijay Ganesh 001; Adam Kiezun (NASA Formal Methods, 2009)