Text this: Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning