kirancodes.me
To Proof Maintenance & Beyond!

The confidence in our k-tails

Hila Cohen, Shahar Maoz

Abstract

k-Tails is a popular algorithm for extracting a candidate behavioral model from a log of execution traces. The usefulness of k-Tails depends on the quality of its input log, which may include too few traces to build a representative model, or too many traces, whose analysis is a waste of resources. Given a set of traces, how can one be confident that it includes enough, but not too many, traces? While many have used the k-Tails algorithm, no previous work has yet investigated this question.

BibTeX
@inproceedings{Cohen-Maoz:ASE14,
  author    = {Hila Cohen and
               Shahar Maoz},
  title     = {The confidence in our k-tails},
  booktitle = {ASE},
  pages     = {605--610},
  publisher = {{ACM}},
  year      = {2014},
}

Related papers