Mining metrics from unstructured logs (2022) · HackerTrans