@inproceedings{d73738bb015f4c349b95d9fdcfeec915,
title = "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 work we propose to address 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. We present two example applications of our approach as well as initial evidence for its effectiveness.",
keywords = "Log analysis, Specification mining",
author = "Nimrod Busany and Shahar Maoz",
note = "Publisher Copyright: {\textcopyright} 2015 ACM.; null ; Conference date: 30-08-2015 Through 04-09-2015",
year = "2015",
month = aug,
day = "30",
doi = "10.1145/2786805.2803198",
language = "אנגלית",
series = "2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings",
publisher = "Association for Computing Machinery, Inc",
pages = "898--901",
booktitle = "2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings",
}