Mining program workflow from interleaved traces
Mining invariants from console logs for system problem detection