أرسل هذا في رسالة قصيرة: Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning