DeepHunter: a coverage-guided fuzz testing framework for deep neural networks | Synapse