A Deep Neural Network Guided Testing Approach for Finite State Machines | IEEE Conference Publication | IEEE Xplore