Synoptic: Studying logged behavior with inferred models

SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Volumn , Issue , 2011, Pages 448-451

  Beschastnikh, Ivan ^a   Abrahamson, Jenny ^a   Brun, Yuriy ^a   Ernst, Michael D ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

Log analysis; Model inference; Synoptic; Temporal invariant mining

Indexed keywords

INPUT AND OUTPUTS; LOG ANALYSIS; MODEL INFERENCE; PROGRAM ACTIVITIES; SYNOPTIC; TEMPORAL INVARIANTS;

FINITE AUTOMATA; INFERENCE ENGINES; SOFTWARE ENGINEERING; WELL LOGGING;

MODELS;

EID: 80053183975     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2025113.2025188     Document Type: Conference Paper

References (10)

1. Pattern (Java Platform SE 7 b141) http://download.oracle.com/javase/7/ docs/api/java/util/regex/Pattern.html. Accessed July 1, 2011.
2. M. Acharya, T. Xie, J. Pei, and J. Xu. Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications. In Proc. of FSE, 2007.
3. I. Beschastnikh, Y. Brun, S. Schneider, M. Sloan, and M. D. Ernst. Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models. In Proc. of FSE, 2011.
4. A. W. Biermann and J. A. Feldman. On the Synthesis of Finite-State Machines from Samples of Their Behavior. IEEE Trans. Comput., 21(6):592-597, 1972.
5. E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample- guided Abstraction Refinement. In Proc. of CAV, 2000.
6. J. Dean and S. Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. Commun. ACM, 51(1):107-113, 2008.
7. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in Property Specifications for Finite-State Verification. In Proc. of ICSE, 1999.
8. D. Lo, L. e. Mariani, and M. Pezzè. Automatic Steering of Behavioral Model Inference. In Proc. of FSE, 2009.
9. S. Schneider, I. Beschastnikh, S. Chernyak, M. D. Ernst, and Y. Brun. Synoptic: Summarizing System Logs with Refinement. In Proc. of SLAML, 2010.
10. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: Mining Temporal API Rules from Imperfect Traces. In Proc. of ICSE, 2006.