VeriFuzz: Program Aware Fuzzing - (Competition Contribution).

Animesh Basak Chowdhury Raveendra Kumar Medicherla R. Venkatesh

Published in: TACAS (3) (2019)

Keyphrases

data sets
neural network
computer vision
program execution
real time
information technology
medical images
static analysis
control program