Mining precise performance-aware behavioral models from existing instrumentation

36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings

Volumn , Issue , 2014, Pages 484-487

  Ohmann, Tony ^a   Thai, Kevin ^b,c   Beschastnikh, Ivan ^a,c   Brun, Yuriy ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

^b FACEBOOK   (United States)

^c UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Log analysis; Model inference; Performance; Perfume

Indexed keywords

BEHAVIORAL RESEARCH; FRAGRANCES; INFERENCE ENGINES; SOFTWARE ENGINEERING;

BEHAVIORAL MODEL; FINITE STATE MACHINE MODEL; LOG ANALYSIS; MODEL INFERENCE; PERFORMANCE; RUN-TIME EXECUTION; STATE OF THE ART; SYSTEM IMPLEMENTATION;

PROGRAM DEBUGGING;

EID: 84903642181     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2591062.2591107     Document Type: Conference Paper

References (23)

1. M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance Debugging for Distributed Systems of Black Boxes. In SOSP, 2003.
2. P. Barham, A. Donnelly, R. Isaacs, and R. Mortier. Using Magpie for Request Extraction and Workload Modelling. In OSDI, 2004.
3. I. Beschastnikh, Y. Brun, S. Schneider, M. Sloan, and M. D. Ernst. Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models. In ESEC/FSE, 2011.
4. A. W. Biermann and J. A. Feldman. On the Synthesis of Finite-State Machines from Samples of Their Behavior. IEEE Transactions on Computers, 21(6):592-597, 1972.
5. T. Britton, L. Jeng, G. Carver, P. Cheak, and T. Katzenellenbogen. Reversible Debugging Software. Technical report, University of Cambridge, Judge Business School, 2013.
6. E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexampleguided Abstraction Refinement. In Computer Aided Verification, pages 154-169, 2000.
7. B. Dagenais, and M. P. Robillard. Creating and evolving developer documentation: Understanding the decisions of open source contributors. In FSE, 2010.
8. M. D. Ernst, J. Cockrell,W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE TSE, 27(2):99-123, 2001.
9. R. Fonseca, G. Porter, R. H. Katz, S. Shenker, and I. Stoica. X-Trace: A Pervasive Network Tracing Framework. In NSDI, 2007.
10. M. Gabel and Z. Su. Javert: Fully Automatic Mining of General Temporal Properties from Dynamic Traces. In FSE, 2008.
11. P. Hooimeijer and W. Weimer. Modeling bug report quality. In ASE, 2007.
12. G. Jiang, H. Chen, and K. Yoshihira. Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems. IEEE Transactions on Knowledge and Data Engineering, 19(11):1508-1523, 2007.
13. M. Jovic, A. Adamoli, and M. Hauswirth. Catch Me if You Can: Performance Bug Detection in the Wild. In OOPSLA, 2011.
14. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI, 2003.
15. D. Lo and S. Maoz. Scenario-Based and Value-Based Specification Mining: Better Together. In ASE, 2010.
16. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In ICSE, 2008.
17. R. R. Sambasivan, A. X. Zheng, M. De Rosa, E. Krevat, S. Whitman, M. Stroucken, W. Wang, L. Xu, and G. R. Ganger. Diagnosing Performance Changes by Comparing Request Flows. In NSDI, 2011.
18. M. Schur, A. Roth, and A. Zeller. Mining behavior models from enterprise web applications. In ESEC/FSE, 2013.
19. S. Sidiroglou-Douskos, S. Misailovic, H. Hoffmann, and M. Rinard. Managing Performance vs. Accuracy Trade-offs with Loop Perforation. In ESEC/FSE, 2011.
20. N. Walkinshaw and K. Bogdanov. Inferring Finite-State Models with Temporal Constraints. In ASE, 2008.
21. C. Weiß, R. Premraj, T. Zimmermann, and A. Zeller. How long will it take to fix this bug? In Mining Software Repositories, 2007.
22. W. Xu, L. Huang, A. Fox, D. Patterson, and M. Jordan. Experience Mining Google's Production Console Logs. In SLAML, 2010.
23. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: Mining Temporal API Rules from Imperfect Traces. In ICSE, 2006.