Experience Report: System Log Analysis for Anomaly Detection
Leveraging existing instrumentation to automatically infer invariant-constrained models