Mining quantified temporal rules: Formalism, algorithms, and evaluation

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 2009, Pages 62-71

  Lo, David ^a   Ramalingam, G ^a   Ranganath, Venkatesh Prasad ^a   Vaswani, Kapil ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT PROGRAMS; EQUALITY CONSTRAINTS; EXECUTION TRACE; RULE MINING ALGORITHMS; RULE VIOLATION; SPECIFICATION MINING; TEMPORAL OPERATORS; TEMPORAL PROPERTY; TEMPORAL RULES;

ALGORITHMS; APPLICATION PROGRAMMING INTERFACES (API); DATA MINING; MINING; REENGINEERING; REVERSE ENGINEERING;

MATHEMATICAL OPERATORS;

EID: 73449095234     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2009.42     Document Type: Conference Paper

References (17)

1. "Static driver verifier," http://www.microsoft.com/whdc/ devtools/tools/sdv.mspx.
2. R. Agrawal and R. Srikant, "Fast algorithms for mining association rules," in Proc. of VLDB, 1994.
3. D. Lo, G. Ramalingam, V. P. Ranganath, and K. Vaswani, "Mining quantified temporal rules: Formalism, algorithms, and evaluation," Microsoft Research, Tech. Rep., 2008.
4. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das, "Perracotta: Mining temporal API rules from imperfect traces." in Proc. of ICSE, 2006.
5. F. Chen and G. Rosu, "Mining Parametric State-Based Specifications from Executions," in Technical Report (Unpublished), 2008.
6. "Debugging tools for windows," http://www.microsoft.com/whdc/ devtools/debugging/default.mspx.
7. "Windows Driver Development," http://www.osronline.com/.
8. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin, "Dynamically discovering likely program invariants to support program evolution," TSE, vol. 27, no. 2, 2001.
9. R. Alur, P. Cerny, G. Gupta, and P. Madhusudan, "Synthesis of interface specifications for java classes." in Proc. of POPL, 2005.
10. M. K. Ramanathan, A. Grama, and S. Jagannathan, "Static specification inference using predicate mining," in Proc. of PLDI, 2007.
11. J. Yang and D. Evans, "Dynamically inferring temporal properties." in Proc. of PASTE, 2004.
12. G. Ammons, R. Bodik, and J. R. Larus, "Mining specification," in Proc. of POPL, 2002.
13. D. Lorenzoli, L. Mariani, and M. Pezzè, "Automatic Generation of Software Behavioral Models," in Proc. of ICSE, 2008.
14. M. Gabel and Z. Su, "Javert: fully automatic mining of general temporal properties from dynamic traces," in Proc. of FSE, 2008.
15. H. Safyallah and K. Sartipi, "Dynamic analysis of software systems using execution pattern mining." in Proc. of ICPC, 2006.
16. M. El-Ramly, E. Stroulia, and P. Sorenson, "Interaction-pattern mining: Extracting usage scenarios from run-time behavior traces." in Proc. of KDD, 2002.
17. F. de Sousa, N. Mendonca, S. Uchitel, and J. Kramer, "Detecting implied scenarios from execution traces.." in Proc. of Work. Conf. on Reverse Engineering, 2007.