Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information · Study