SMArTIC: Towards building an accurate, robust and scalable specification miner

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2006, Pages 265-275

  Lo, David ^a   Khoo, Siau Cheng ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Clustering traces; Filtering errors; Specification mining

Indexed keywords

CLUSTERING TRACES; FILTERING ERRORS; SPECIFICATION MINING;

DATA MINING; ERROR ANALYSIS; SOFTWARE ARCHITECTURE;

COMPUTER SOFTWARE;

EID: 34547367487     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1181775.1181808     Document Type: Conference Paper

References (40)

1. G. Ammons, R. Bodik, and J. R. Larus. Mining specification. In Proc. of Principles of Programming Languages, 2002.
2. G. Ammons, D. Mandelin, R., Bodik, and J.R. Larus. Debugging temporal specifications with concept analysis. In Proc. of Programming Language Design and Implementation, 2003.
3. T. Arts and L. Fredlund. Trace analysis of Erlang program. In Proc. of Erlang Workshop, 2002.
4. A.W. Biermann and J. A. Feldman. On the synthesis of finite-state machines from samples of their behaviour. IEEE Transactions on Computers, 21:591-597, 1972.
5. R. Capilla, and J. C. Dueñas. Light-weight product-lines for evolution and maintenance of web sites. In Proc. of European Conf. On Software Maintenance And Reengineering, 2003.
6. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, July 1998.
7. T.H. Cormen, CE. Leiserson, R.L. Rivest, and C.Stein. Introduction to Algorithms. MIT Press, 2001.
8. S. Deelstra, M. Sinnema, and J. Bosch. Experiences in software product families: Problems and issues during product derivation. In Proc. of Software Product Line Conf., 2004.
9. D.Lo and S-C.Khoo. QUARK: Empirical assessment of automaton-based specification miners. In Proc. of Working Conf. on Reverse Engineering, 2006.
10. M. Dwyer, G. Avrunin, and J. Corbett. Patterns in property specifications for finite-state verification. In Proc. of Int. Conf. on Software Engineering, 1999.
11. M. El-Ramly, E. Stroulia, and P. Sorenson. Interaction-pattern mining: Extracting usage scenarios from run-time behavior traces. In Proc. of ACM-SIGKDD Int. Conf. on Knowledge Discovery and Data Mining, 2002.
12. M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transaction on Software Engineering, 27(2):99-123, February 2001.
13. A. Foss and O.R. Zaiane. A parameterless method for efficiently discovering clusters of arbitrary shape in large datasete. In Proc. IEEE Int. Conf. on Data Mining, 2002.
14. A. Fox. Addressing software dependability with statistical and machine learning techniques. In Proc. of Int. Conf. of Software Engineering, 2005. Invited Talk. [15] N. Gupta. Generating test data for dynamically discovering likely program invariants. In Proc. of the workshop on dynamic analysis, 2003.
15. J. Han and M. Kamber. Data Mining Concepts and Techniques. Morgan Kaufmann, 2001.
16. M. Huth and M. Ryan. Logic in Computer Science. Cambridge, 2004.
17. The Java hotspot performance engine architecture. http://java.sun.com/ products/hotspot/whitepaper.html.
18. J.Henkel and A. Diwan. Discovering algebraic specifications from java classes. In Proc. of the Euro. Conf. of Object Oriented Programming, 2003.
19. JRat. http://jrat.sourceforge.net/.
20. L. Kaufman and P.J. Rousseeuw. Finding Groups in Data: an Introduction to Cluster Analysis. John Wiley & Sons, 1990.
21. E. Keogh, S. Lonardi, and CA. Ratanamahatana. Towards parameter-free data mining. Proc. of Int. Conf. on Knowledge Discovery and Data Mining, 2004.
22. J.R., Larus. Whole program paths. In Proc. of Programming Language Design and Implementation, 1999.
23. A.M. Law and W. D. Kelton. Simulation modelling and analysis. McGraw-Hill, 2000.
24. D. Lo and S-C. Khoo. SMArTIC: Specification mining architecture with trace filtering and clustering. In SoC-NUS tech. report, TRA 8/06, 2006.
25. R.B. Lyngsø, C.N.S. Pedersen, and H. Nielsen. Metrics and similarity measures for hidden Markov models. In Proc. of National Conf. on Artificial Intelligence, 1999.
26. D.S. Moore and G.P. McCabe. Introduction to the Practice of Statistics. W.H. Freeman & Co., Third Edition, 1998.
27. Jakarta Commons Net. http://jakarta.apache.org/commons/net/.
28. C.G. Nevill-Manning, I.H. Witten, and D.L. Maulsby. Compression by induction of hierarchical grammars. In Proc. of Data Compression Conf., 1994.
29. J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In Proc. of Int. Symposium on Software Testing and Analysis, 2002.
30. S.C. Ntafos. A comparison of some structural testing strategies. IEEE Transactions on Software Enginering, 14(6):868-874, 1988.
31. A. V. Raman and J. D. Patrick. The sk-strings method for inferring PFSA. In Proc. of the workshop on automata induction, grammatical inference and language acquisition, 1997.
32. O. Raz, P. Koopman, and M.Shaw. Semantic anomaly detection in online data sources. In Proc. of Int. Conf. on Software Engineering, 2002.
33. S. P. Reiss and M. Renieris. Encoding program executions. In Proc. of the Int. Conf. on Software Engineering, 2001.
34. S.P. Reiss and M. Renieris. Generating java trace data. In Proc. of the ACM Conf. on Java Grande, 2000.
35. M. Tompa. Lecture notes on biological sequence analysis. Technical Report 2000-06-01 University of Washington, 2000.
36. C.J. van Rijsbergen. Information Retrieval. Butterworths, London, 1979.
37. J. Wang and J. Han. BIDE: Efficient mining of frequent closed sequences. In Proc. of Int. Conf. on Data Engineering, 2004.
38. J. Whaley, M.C. Martin, and M.S. Lam. Automatic extraction of object oriented component interfaces. In Proc. of the Int. Symposium on Software Testing and Analysis, 2002.
39. W.Weimer and G.Necula. Mining temporal specifications for error detection. In Proc. of Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
40. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das. Perracotta: Mining temporal API rules from imperfect traces. In Proc. of Int. Conf. on Software Engineering, 2006.