Spell: Streaming Parsing of System Event Logs
Mining invariants from console logs for system problem detection