أرسل هذا في رسالة قصيرة: Experimenting with evolutionary meta-heuristics for state justification in sequential ATPG