أرسل هذا في رسالة قصيرة: Data Flow Analysis and Testing of Abstract State Machines