Text this: AUTOMATIC RETRIEVAL AND ANALYSIS OF HIGH AVAILABILITY SCENARIOS FROM SYSTEM EXECUTION TRACES