Leveraging existing instrumentation to automatically infer invariant-constrained models
Abstract
Computer systems are often difficult to debug and understand. A common way of gaining insight into system behavior is to inspect execution logs and documentation. Unfortunately, manual inspection of logs is an arduous process and documentation is often incomplete and out of sync with the implementation.
BibTeX
@inproceedings{Beschastnikh-al:FSE11,
author = {Ivan Beschastnikh and
Yuriy Brun and
Sigurd Schneider and
Michael Sloan and
Michael D. Ernst},
title = {Leveraging existing instrumentation to automatically infer invariant-constrained models},
booktitle = {FSE},
pages = {267--277},
publisher = {{ACM}},
year = {2011},
}