Mining temporal specifications from object usage

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 295-306

  Wasylkowski, Andrzej ^a   Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-J; CODE SMELL; COMPUTATION TREE LOGIC; PROGRAM CODE; TEMPORAL SPECIFICATION; TRUE POSITIVE;

COMPUTER SOFTWARE; CRIME; MINING;

MODEL CHECKING;

EID: 77952186496     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.30     Document Type: Conference Paper

References (32)

1. M. Acharya, T. Xie, J. Pei, and J. Xu, "Mining api patterns as partial orders from source code: from usage scenarios to specifications," in ESEC-FSE 2007: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. New York, NY: ACM, 2007, pp. 25-34.
2. R. Alur, P. Černý, P. Madhusudan, and W. Nam, "Synthesis of interface specifications for Java classes," in POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM, 2005, pp. 98-109.
3. G. Ammons, R. Bodík, and J. R. Larus, "Mining specifications," in POPL 2002: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM, 2002, pp. 4-16.
4. S. Antoy and D. Hamlet, "Automatically checking an implementation against its formal specification," IEEE Transactions on Software Engineering, vol.26, no.1, pp. 55-69, Jan. 2000.
5. E. Bodden, P. Lam, and L. Hendren, "Finding programming errors earlier by evaluating runtime monitors ahead-of-time," in SIGSOFT 2008/FSE- 16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering. New York, NY: ACM, 2008, pp. 36-47.
6. W. Chan, "Temporal-logic queries," in Proceedings of the 12th International Conference on Computer Aided Verification, ser. Lecture Notes in Computer Science 1855. Berlin: Springer-Verlag, 2000, pp. 450-463.
7. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Transactions on Programming Languages and Systems, vol.8, no.2, pp. 244-263, Apr. 1986.
8. E. M. Clarke and E. A. Emerson, "Design and synthesis of synchronization skeletons using branching time temporal logic," in Proceedings of the Workshop on Logics of Programs, ser. Lecture Notes in Computer Science 131. Berlin: Springer-Verlag, 1982, pp. 52-71.
9. J. E. Cook and A. L. Wolf, "Discovering models of software processes from event-based data," ACM Transactions on Software Engineering and Methodology, vol.7, no.3, pp. 215-249, Jul. 1998.
10. V. Dallmeier, C. Lindig, and A. Zeller, "Lightweight defect localization for Java," in ECOOP 2005: Proceedings of the 19th European conference on object-oriented programming, ser. Lecture Notes in Computer Science 3586. Berlin: Springer-Verlag, 2005, pp. 528-550.
11. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf, "Bugs as deviant behavior: a general approach to inferring errors in systems code," in SOSP 2001: Proceedings of the 18th ACM Symposium on Operating Systems Principles. New York, NY: ACM, 2001, pp. 57-72.
12. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, "Dynamically discovering likely program invariants to support program evolution," IEEE Transactions on Software Engineering, vol.27, no.2, pp. 99-123, Feb. 2001.
13. S. J. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay, "Effective typestate verification in the presence of aliasing," ACM Transactions on Software Engineering and Methodology, vol.17, no.2, pp. 1-34, Apr. 2006.
14. M. Fowler, Refactoring. Improving the design of existing code. N.p.: Addison-Wesley, 1999.
15. M. Gabel and Z. Su, "Javert: fully automatic mining of general temporal properties from dynamic traces," in SIGSOFT 2008/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering. New York, NY: ACM, 2008, pp. 339-349.
16. B. Ganter and R. Wille, Formal concept analysis: mathematical foundations. Berlin: Springer-Verlag, 1999.
17. A. Gurfinkel, M. Chechik, and B. Devereux, "Temporal logic query checking: A tool for model exploration," IEEE Transactions on Software Engineering, vol.29, no.10, pp. 898-914, Oct. 2003.
18. S. Hangal and M. S. Lam, "Tracking down software bugs using automatic anomaly detection," in ICSE 2002: Proceedings of the 24th International Conference on Software Engineering. New York, NY: ACM, 2002, pp. 291-301.
19. D. Hovemeyer and W. Pugh, "Finding bugs is easy," in OOPSLA 2004: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications. New York, NY: ACM, 2004, pp. 132-136.
20. B. Jonsson, A. H. Khan, and J. Parrow, "Implementing a model checking algorithm by adapting existing automated tools," in Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, ser. Lecture Notes in Computer Science 407. Berlin: Springer-Verlag, 1990, pp. 179-188.
21. Z. Li and Y. Zhou, "PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code," in ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering. New York, NY: ACM, 2005, pp. 306-315.
22. C. Lindig, "Mining patterns and violations using concept analysis," Saarland University, Software Engineering Chair, Technical Report, 2007, avaliable from http://www.st.cs.uni-saarland.de/publications/; the software is available from http://code.google.com/p/colibri-ml/.
23. B. Livshits and T. Zimmermann, "DynaMine: Finding common error patterns by mining software revision histories," in ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering. New York, NY: ACM, 2005, pp. 296-305.
24. D. Mandelin, L. Xu, R. Bodík, and D. Kimelman, "Jungloid mining: helping to navigate the API jungle," in PLDI 2005: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation. New York, NY: ACM, 2005, pp. 48-61. (Pubitemid 43182889)
25. M. K. Ramanathan, A. Grama, and S. Jagannathan, "Static specification inference using predicate mining," in PLDI 2007: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY: ACM, 2007, pp. 123-134. (Pubitemid 47630681)
26. S. P. Reiss, "Specifying and checking component usage," in AADEBUG 2005: Proceedings of the sixth international symposium on Automated analysis-driven debugging. New York, NY: ACM, 2005, pp. 13-22.
27. N. Sahavechaphan and K. Claypool, "XSnippet: Mining for sample code," in OOPSLA 2006: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York, NY: ACM, 2006, pp. 413-430.
28. S. Shoham, E. Yahav, S. J. Fink, and M. Pistoia, "Static specification mining using automata-based abstractions," IEEE Transactions on Software Engineering, vol.34, no.5, pp. 651-666, Sep. 2008.
29. A. Wasylkowski, A. Zeller, and C. Lindig, "Detecting object usage anomalies," in ESEC-FSE 2007: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. New York, NY: ACM, 2007, pp. 35-44.
30. W. Weimer and G. C. Necula, "Mining temporal specifications for error detection," in TACAS 2005: Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ser. Lecture Notes in Computer Science 3440. Berlin: Springer-Verlag, 2005, pp. 461-476.
31. T. Xie and J. Pei, "MAPO: Mining API usages from open source repositories," in MSR 2006: Proceedings of the 2006 International Workshop on Mining Software Repositories. New York, NY: ACM, 2006, pp. 54-57.
32. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das, "Perracotta: mining temporal API rules from imperfect traces," in ICSE 2006: Proceedings of the 28th international conference on Software engineering. New York, NY: ACM, 2006, pp. 282-291.