أرسل هذا في رسالة قصيرة: Evolutionary algorithms for state justification in sequential automatic test pattern generation