Static Program Analysis as a Fuzzing Aid. - Bhargava Shastry; Markus Leutner; Tobias Fiebig; Kashyap Thimmaraju; Fabian Yamaguchi; Konrad Rieck; Stefan Schmid 001; Jean-Pierre Seifert; Anja Feldmann (RAID, 2017)