أرسل هذا في رسالة قصيرة: AUTOMATIC RETRIEVAL AND ANALYSIS OF HIGH AVAILABILITY SCENARIOS FROM SYSTEM EXECUTION TRACES