TitleUnifying FSM-inference algorithms through declarative specification
Publication TypeConference Paper
Year of Publication2013
AuthorsBeschastnikh I, Brun Y, Abrahamson J, Ernst MD, Krishnamurthy A
Conference NameICSE 2013, Proceedings of the 35th International Conference on Software Engineering
Date or Month PublishedMay
Conference LocationSan Francisco, CA, USA
AbstractLogging 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.
Downloadshttps://homes.cs.washington.edu/~mernst/pubs/fsm-inference-declarative-t... TR UW-CSE-13-03-01 https://github.com/ModelInference/synoptic InvariMint implementation
Citation KeyBeschastnikhBAEK2013