Coverage-Guided Testing for Recurrent Neural Networks