Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs.

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu

Browse the full TAP paper archive.