Early filtering of polluting method calls for mining temporal specifications

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2008, Pages 9-16

  Zhong, Hao ^a   Zhang, Lu ^a   Mei, Hong ^a  

^a Peking University   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FILTERING TECHNIQUE; HIGH COSTS; RAPID EVOLUTION; SPECIFICATION MINING; TEMPORAL RULES; TEMPORAL SPECIFICATION; VERIFICATION TOOLS;

COMPUTER SOFTWARE; EXPERIMENTS; LIBRARIES; MINING;

SPECIFICATIONS;

EID: 67650540857     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. M. Aeschlimann, D. Baumer, and J. Lanneluc. Java tool smithing extending the Eclipse Java Development Tools. In EclipseCon, 2005.
2. R. Agrawal and R. Srikant. Mining sequential patterns. In Proc. ICDE, pages 3-14, 1995.
3. G. Ammons, R. Bodík, and J. Larus. Mining specifications. In Proc. POPL, pages 4-16, 2002. (Pubitemid 35009026)
4. G. Ammons, D. Mandelin, R. Bodík, and J. R. Larus. Debugging temporal specifications with concept analysis. In Proc. PLDI, pages 182-195, 2003.
5. J. Ayres, J. Flannick, J. Gehrke, and T. Yiu. Sequential pattern mining using a bitmap representation. In Proc. KDD, pages 429-435, 2002.
6. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An Empirical Study of Operating System Errors. In Proc. SOSP, pages 73-88, 2001. (Pubitemid 33612606)
7. J. Cook and A. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, 1998. (Pubitemid 128658170)
8. M. Das, S. Lerner, and M. Seigle. ESP: path-sensitive program verification in polynomial time. In Proc. PLDI, pages 57-68. ACM Press New York, NY, USA, 2002. (Pubitemid 34991507)
9. D. Engler, D. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Proc. SOSP, pages 57-72, 2001. (Pubitemid 33612605)
10. E. Gold. Complexity of automatic identification of given data. Information and Control, 10:447-474, 1978.
11. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: Inferring the specification within. In Proc. OSDI, pages 259-272, 2006.
12. D. Lo and S. Khoo. SMArTIC: towards building an accurate, robust and scalable specification miner. In Proc. ESEC/FSE, pages 265-275, 2006. (Pubitemid 47129403)
13. A. Raman and J. Patrick. The sk-strings method for inferring PFSA. In Proc. Machine Learning Workshop Automata Induction, Grammatical Inference, and Language Acquisition, 1997.
14. M. Ramanathan, A. Grama, and S. Jagannathan. Pathsensitive inference of function precedence protocols. In Proc. ICSE, pages 240-250, 2007.
15. A. Salcianu and M. Rinard. Purity and side effect analysis for Java programs. Proc. VMCAI, pages 199-215, 2005. (Pubitemid 41231362)
16. S. Shoham, E. Yahav, S. Fink, and M. Pistoia. Static specification mining using automata-based abstractions. In Proc. ISSTA, pages 218-228, 2007.
17. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model Checking Programs. Automated Software Engineering, 10(2):203-232, 2003.
18. A. Wasylkowski, A. Zeller, and C. Lindig. Detecting object usage anomalies. In Proc. ESEC/FSE, pages 35-44, 2007.
19. W. Weimer and N. Mishra. Privately finding specifications. IEEE Transactions on Software Engineering, 34(1):21-32, 2008. (Pubitemid 351343900)
20. W. Weimer and G. Necula. Mining temporal specifications for error detection. In Proc. TACAS, pages 461-476, 2005. (Pubitemid 41273759)
21. J. Whaley, M. Martin, and M. Lam. Automatic extraction of object-oriented component interfaces. In Proc. ISSTA, pages 218-228, 2002.
22. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: mining temporal API rules from imperfect traces. In Proc. ICSE, pages 282-291, 2006. (Pubitemid 46600925)