Download: PDF, slides (PDF), TR 13-03-01, InvariMint implementation.
“Unifying FSM-inference algorithms through declarative
specification”
by
Ivan Beschastnikh,
Yuriy Brun,
Jenny Abrahamson,
Michael D. Ernst,
and
Arvind Krishnamurthy.
In ICSE'13, Proceedings of the 34th International Conference on
Software Engineering, (San Francisco, CA, USA), May 22-24, 2013,
pp. 252-261.
An extended version with proofs appeared as University of Washington Department
of Computer Science and Engineering technical report UW-CSE-13-03-01,
(Seattle, WA, USA), Mar. 2013.
A previous version appeared as University of Washington Department
of Computer Science and Engineering technical report UW-CSE-12-08-02,
(Seattle, WA, USA), Aug. 2012.
Logging system behavior is a staple development practice. Numerous powerful model inference algorithms have been proposed to aid developers in log analysis and system understanding. Unfortunately, existing algorithms are difficult to understand, extend, and compare. This paper presents InvariMint, an approach to specify model inference algorithms declaratively. We apply InvariMint to two model inference algorithms and present evaluation results to illustrate that InvariMint (1) leads to new fundamental insights and better understanding of existing algorithms, (2) simplifies creation of new algorithms, including hybrids that extend existing algorithms, and (3) makes it easy to compare and contrast previously published algorithms. Finally, InvariMint's declarative approach can outperform equivalent procedural algorithms.
Download: PDF, slides (PDF), TR 13-03-01, InvariMint implementation.
BibTeX entry:
@inproceedings{BeschastnikhBAEK2013, author = {Ivan Beschastnikh and Yuriy Brun and Jenny Abrahamson and Michael D. Ernst and Arvind Krishnamurthy}, title = {Unifying {FSM}-inference algorithms through declarative specification}, booktitle = {ICSE'13, Proceedings of the 34th International Conference on Software Engineering}, pages = {252--261}, address = {San Francisco, CA, USA}, month = {May~22--24,}, year = {2013} }
(This webpage was created with bibtex2web.)
Back to Michael Ernst's publications.