| Title | Unifying FSM-inference algorithms through declarative specification |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Beschastnikh I, Brun Y, Abrahamson J, Ernst MD, Krishnamurthy A |
| Conference Name | ICSE 2013, Proceedings of the 35th International Conference on Software Engineering |
| Pagination | 252–261 |
| Date or Month Published | May |
| Conference Location | San Francisco, CA, USA |
| Abstract | 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. |
| Downloads | https://homes.cs.washington.edu/~mernst/pubs/fsm-inference-declarative-t... TR UW-CSE-13-03-01
https://github.com/ModelInference/synoptic InvariMint implementation
|
| Citation Key | BeschastnikhBAEK2013 |
