أرسل هذا في رسالة قصيرة: An Evolutionary Meta-Heuristic for State Justification in Sequential Automatic Test Pattern Generation