Efficient mining of iterative patterns for software specification discovery

Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining

Volumn , Issue , 2007, Pages 460-469

  Lo, David ^a   Khoo, Siau Cheng ^a   Liu, Chao ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Closed iterative patterns; Software specification discovery

Indexed keywords

CLOSED ITERATIVE PATTERNS; JBOSS APPLICATION SERVER; SOFTWARE SPECIFICATION DISCOVERY;

ALGORITHMS; AUTOMATION; ITERATIVE METHODS; SOFTWARE ENGINEERING; SPECIFICATIONS;

DATA MINING;

EID: 36849095568     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1281192.1281243     Document Type: Conference Paper

References (34)

1. R. Agrawal and R. Srikant. Mining sequential patterns. In ICDE, 1995.
2. G. Ammons, R. Bodik, and J. R. Larus. Mining specification. In SIGPLAN POPL, 2002.
3. R. V. Binder. Testing Object-Oriented Systems Models, Patterns, and Tools. Addison-Wesley, 2000.
4. B. Boehm. Software Engineering Economics. Prentice-Hall, 1981.
5. G Canfora and A Cimitile. Software Maintenance, volume 1 of Handbook of Software Engineering and Knowledge Engineering, pages 91-120. World Scientific, 2002.
6. R. Capilla and J. C. Duenas. Light-weight product-lines for evolution and maintenance of web sites. In CSMR, 2003.
7. W-N. Chin, S-C. Khoo, S. Qin, C. Popeea, and H.H. Nguyen. Verifying safety policies with size properties and alias controls. In ICSE, 2005.
8. C.Liu, X. Yan, L. Fei, J. Han, and S.P. Midkiff. SOBER: statistical model-based bug localization. In SIGSOFT ESEC-FSE, 2005.
9. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19:45-80, 2001.
10. S. Deelstra, M. Sinnema, and J. Bosch. Experiences in software product families: Problems and issues during product derivation. In SPLC, 2004.
11. M. El-Ramly, E. Stroulia, and P. Sorenson. From run-time behavior to usage scenarios: an interaction-pattern mining approach. In KDD, 2002.
12. E. Erlikh. Leveraging legacy system dollars for e-business. IEEE IT Pro, pages 17-23, 2000.
13. G.C. Garriga. Discovering unbounded episodes in sequential data. In PKDD, 2003.
14. J. Han, J. Pei, B. Mortazavi-Asl, Q. Chen, U. Dayal, and M-C. Hsu. Freespan: Frequent pattern-projected sequential pattern mining. In KDD, 2000.
15. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand.
16. Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria. In ICSE, 1994.
17. ITU-T. ITU-T Recommendation Z. 120: Message Sequence Chart (MSC). 1999.
18. JBoss. http://www.jboss.org.
19. JBoss AOP. http://labs.jboss.com/jbossaop/.
20. R. Kohavi, C. Brodley, B. Frasca, L. Mason, and Z. Zheng. KDD-Cup 2000 organizers' report: Peeling the onion. SIGKDD Explorations, 2:86-98, 2000.
21. H. Kugler, D. Harel, A. Pnueli, Y. Lu, and Y. Bontemps. Temporal logic for scenario-based specifications. In TACAS, 2005.
22. M.M. Lehman and L.A. Belady. Program Evolution - Processes of Software Change. Academic Press, 1985.
23. D. Lo and S-C. Khoo. SMArTIC: Toward building an accurate, robust and scalable specification miner. In SIGSOFT FSE, 2006.
24. H. Mannila, H. Toivonen, and A.I. Verkamo. Discovery of frequent episodes in event sequences. DMKD, 1:259-289, 1997.
25. K. Olender and L. Osterweil. Cecil: A sequencing constraint language for automatic static analysis generation. IEEE TSE, 16:268-280, 1990.
26. J. Pei, J. Han, B. Mortazavi-Asl, H. Pinto, Q. Chen, U. Dayal, and M.-C. Hsu. Prefixspan: Mining sequential patterns efficiently by prefix-projected pattern growth. In ICDE, 2001.
27. Java Trans. API Spec. java.sun.com/products/jta/.
28. T. Standish. An essay on software reuse. IEEE TSE, pages 494-497, 1984.
29. C. Steel, R. Nagappan, and R. Lai. Core Security Patterns. Sun Microsystem, 2006.
30. J. Wang and J. Han. BIDE: Efficient mining of frequent closed sequences. In ICDE, 2004.
31. W.Weimer and G.Necula. Mining temporal specifications for error detection. In TACAS, 2005.
32. X. Yan, J. Han, and R. Afhar. CloSpan: Mining closed sequential patterns in large datasets. In SDM, 2003.
33. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das. Perracotta: Mining temporal API rules from imperfect traces. In ICSE, 2006.
34. M. Zhang, B. Kao, D.W. Cheung, and K.Y. Yip. Mining periodic patterns with gap requirement from sequences. In SIGMOD, 2005.