أرسل هذا في رسالة قصيرة: An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation