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

Amirfarhad Nilizadeh Gary T. Leavens Corina S. Pasareanu

Published in: TAP@STAF (2021)

Keyphrases

decision trees
bayesian networks
inference rules
machine learning
information retrieval
genetic algorithm
website
lower bound