Efficient mining of recurrent rules from a sequence database

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4947 LNCS, Issue , 2008, Pages 67-83

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

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b University of Illinois ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADVANCED APPLICATIONS; BENCHMARK DATASETS; BUG DETECTION; CASE STUDIES; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; LINEAR TEMPORAL LOGIC (LTL); MULTIPLE SEQUENCES; PROGRAM PROPERTIES; PROGRAM SPECIFICATIONS; PROGRAM VERIFICATION (PV); SEQUENCE DATABASES; SET OF RULES; SOFTWARE SPECIFICATIONS;

BENCHMARKING; MINING; SPECIFICATIONS; TEMPORAL LOGIC; VERIFICATION;

DATABASE SYSTEMS;

EID: 47249121210     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78568-2_8     Document Type: Conference Paper

References (29)

1. Agrawal, R., Srikant, R.: Fast algorithms for mining association rules. In: VLDB (1994)
2. Agrawal, R., Srikant, R.: Mining sequential patterns. In: ICDE (1995)
3. Ammons, G., Bodik, R., Larus, J.R.: Mining specification. In: SIGPLAN-SIGACT POPL (2002)
4. Barth, A., Datta, A., Mitchell, J.C., Nissenbaum, H.: Privacy and contextual integrity: Framework and applications. In: S&P (2006)
5. Capilla, R., Duenas, J.C.: Light-weight product-lines for evolution and maintenance of web sites. In: CSMR (2003)
6. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
7. Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Robby, Laubach, S., Zheng, H.-J.: Bandera: extracting finite-state models from java source code. In: ICSE (2000)
8. Deelstra, S., Sinnema, M., Bosch, J.: Experiences in software product families: Problems and issues during product derivation. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, Springer, Heidelberg (2004)
9. Dwyer, M., Avrunin, G., Corbett, J.: Patterns in property specifications for finite-state verification. In: ICSE (1999)
10. Engler, D.R., Chen, D.Y., Chou, A.: Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In: SOSP (2001)
11. Garriga, G.C.: Discovering unbounded episodes in sequential data. In: Lavrač, N., Gamberger, D., Todorovski, L., Blockeel, H. (eds.) PKDD 2003. LNCS (LNAI), vol. 2838, Springer, Heidelberg (2003)
12. Han, J., Kamber, M.: Data Mining Concepts and Techniques, 2nd edn. Morgan Kaufmann, San Francisco (2006)
13. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Thoery, Language, and Computation. Addison-Wesley, Reading (2001)
14. Huth, M., Ryan, M.: Logic in Computer Science. Cambridge (2004)
15. ITU-T. ITU-T Recommendation Z.120: Message Sequence Chart (MSC) (1999)
16. Kohavi, R., Brodley, C., Frasca, B., Mason, L., Zheng, Z.: KDD-Cup 2000 organizers report: Peeling the onion. SIGKDD Explorations 2, 86-98 (2000)
17. Liu, C., Lian, Z., Han, J.: How bayesians debug. In: Perner, P. (ed.) ICDM 2006. LNCS (LNAI), vol. 4065, Springer, Heidelberg (2006)
18. nd position) (2007), http://www.acm.org/src/winners.html
19. Lo, D., Khoo, S.-C.: SMArTIC: Toward building an accurate, robust and scalable specification miner. In: SIGSOFT FSE (2006)
20. Lo, D., Khoo, S.-C., Liu, C.: Efficient mining of iterative patterns for software specification discovery. In: SIGKDD (2007)
21. Lo, D., Khoo, S.-C., Liu, C.: Mining recurrent rules from sequence database. In SoCNUS Technical Report TR12/07 (2007)
22. Mannila, H., Toivonen, H., Verkamo, A.I.: Discovery of frequent episodes in event sequences. DMKD 1, 259-289 (1997)
23. Pei, J., Han, J., Mortazavi-Asl, B., Pinto, H., Chen, Q., Dayal, U., Hsu, M.-C.: Prefixspan: Mining sequential patterns efficiently by prefix-projected pattern growth. In: ICDE (2001)
24. Spiliopoulou, M.: Managing interesting rules in sequence mining. In: Żytkow, J.M., Rauch, J. (eds.) PKDD 1999. LNCS (LNAI), vol. 1704, Springer, Heidelberg (1999)
25. Wang, J., Han, J.: BIDE: Efficient mining of frequent closed sequences. In: ICDE (2004)
26. Wing, J.M.: A specifier's introduction to formal methods. IEEE Computer 23, 8-24 (1990)
27. Weimer, W., Necula, G.: Mining temporal specifications for error detection. In: Halb-wachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, Springer, Heidelberg (2005)
28. Yan, X., Han, J., Afhar, R.: CloSpan: Mining closed sequential patterns in large datasets. In: SDM (2003)
29. Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M.: Perracotta: Mining temporal API rules from imperfect traces. In: ICSE (2006)