Test Data Generation for Recurrent Neural Network Implementations. - Katherine G. Skocelas; Byron DeVries (EIT, 2020)