Learning to Encode and Classify Test Executions