Behavioral log analysis with statistical guarantees

Abstract

Scalability is a major challenge for existing behavioral log analysis algorithms, which extract finite-state automaton models or temporal properties from logs generated by running systems. In this paper we present statistical log analysis, which addresses scalability using statistical tools. The key to our approach is to consider behavioral log analysis as a statistical experiment. Rather than analyzing the entire log, we suggest to analyze only a sample of traces from the log and, most importantly, provide means to compute statistical guarantees for the correctness of the analysis result.

BibTeX

@inproceedings{Busany-Maoz:ICSE16,
  author    = {Nimrod Busany and
               Shahar Maoz},
  title     = {Behavioral log analysis with statistical guarantees},
  booktitle = {ICSE},
  pages     = {877--887},
  publisher = {{ACM}},
  year      = {2016},
}

Behavioral log analysis with statistical guarantees

Abstract

Related papers