Detecting anomalies in the order of equally-typed method arguments

2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings

Volumn , Issue , 2011, Pages 232-242

  Pradel, Michael ^a   Gross, Thomas R ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

anomaly detection; automated program analysis; maintenance; method arguments; static analysis

Indexed keywords

ANOMALY DETECTION; JAVA PROGRAM; METHOD ARGUMENTS; PROGRAM ANALYSIS; SOURCE CODES; STATIC PROGRAM ANALYSIS;

COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; PROBLEM ORIENTED LANGUAGES; PROGRAM COMPILERS; SEMANTICS; SOFTWARE TESTING;

STATIC ANALYSIS;

EID: 80051922262     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001420.2001448     Document Type: Conference Paper

References (35)

1. https://issues.apache.org/jira/browse/HADOOP-4732.
2. http://issues.liferay.com/browse/LPS-3890.
3. JBoss SVN repository. Revisions 58536, 58764, and 60357.
4. JikesRVM SVN repository. Revisions 10263 and 13935.
5. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. In Symposium on Principles of Programming Languages (POPL), pages 4-16. ACM, 2002.
6. S. M. Blackburn, R. Garner, C. Hoffmann, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. L. Hosking, M. Jump, H. B. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. von Dincklage, and B. Wiedermann. The DaCapo benchmarks: Java benchmarking development and analysis. In Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 169-190. ACM, 2006.
7. S. Butler, M. Wermelinger, Y. Yu, and H. Sharp. Relating identifier naming flaws and code quality: An empirical study. In Working Conference on Reverse Engineering (WCRE), pages 31-35. IEEE, 2009.
8. R.-Y. Chang, A. Podgurski, and J. Yang. Finding what's not there: a new approach to revealing neglected conditions in software. In International Symposium on Software Testing and Analysis (ISSTA), pages 163-173. ACM, 2007.
9. W. W. Cohen, P. D. Ravikumar, and S. E. Fienberg. A comparison of string distance metrics for name-matching tasks. In Workshop on Information Integration on the Web (IIWeb), pages 73-78, 2003.
10. 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 Symposium on Operating Systems Principles (SOSP), pages 57-72. ACM, 2001.
11. 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, 27(2):213-224, 2001.
12. M. Erwig and M. M. Burnett. Adding apples and oranges. In Symposium on Practical Aspects of Declarative Languages (PADL), pages 173-191. Springer, 2002.
13. M. Gabel and Z. Su. Javert: Fully automatic mining of general temporal properties from dynamic traces. In Symposium on Foundations of Software Engineering (FSE), pages 339-349. ACM, 2008.
14. D. Greenfieldboyce and J. S. Foster. Type qualifier inference for Java. In Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 321-336. ACM, 2007.
15. P. J. Guo, J. H. Perkins, S. McCamant, and M. D. Ernst. Dynamic inference of abstract types. In International Symposium on Software Testing and Analysis (ISSTA), pages 255-265. ACM, 2006.
16. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In International Conference on Software Engineering (ICSE), pages 291-301. ACM, 2002.
17. S. Hangal and M. S. Lam. Automatic dimension inference and checking for object-oriented programs. In International Conference on Software Engineering (ICSE), pages 155-165. IEEE, 2009.
18. J. Henkel, C. Reichenbach, and A. Diwan. Discovering documentation for Java container classes. IEEE Transactions on Software Engineering, 33(8):526-543, 2007. (Pubitemid 47098723)
19. E. W. Høst and B. M. Østvold. Debugging method names. In European Conference on Object-Oriented Programming (ECOOP), pages 294-317. Springer, 2009.
20. D. Hovemeyer and W. Pugh. Finding bugs is easy. In Companion to the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 132-136. ACM, 2004.
21. J. L. Lawall and D. Lo. An automated approach for finding variable-constant pairing bugs. In International Conference on Automated Software Engineering (ASE), pages 103-112. ACM, 2010.
22. D. Lawrie, C. Morrell, H. Feild, and D. Binkley. What's in a name? A study of identifiers. In International Conference on Program Comprehension (ICPC), pages 3-12. IEEE, 2006.
23. Z. Li and Y. Zhou. PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code. In European Software Engineering Conference and Symposium on Foundations of Software Engineering (ESEC/FSE), pages 306-315. ACM, 2005.
24. D. Lo and S.-C. Khoo. SMArTIC: Towards building an accurate, robust and scalable specification miner. In Symposium on Foundations of Software Engineering (FSE), pages 265-275. ACM, 2006.
25. S. Lu, S. Park, C. Hu, X. Ma, W. Jiang, Z. Li, R. A. Popa, and Y. Zhou. MUVI: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In Symposium on Operating Systems Principles (SOSP), pages 103-116. ACM, 2007.
26. M. Monperrus, M. Bruch, and M. Mezini. Detecting missing method calls in object-oriented software. In European Conference on Object-Oriented Programming (ECOOP), pages 2-25. Springer, 2010.
27. T. T. Nguyen, H. A. Nguyen, N. H. Pham, J. M. Al-Kofahi, and T. N. Nguyen. Graph-based mining of multiple object usage patterns. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 383-392. ACM, 2009.
28. M. Pradel, P. Bichsel, and T. R. Gross. A framework for the evaluation of specification miners based on finite state machines. In International Conference on Software Maintenance (ICSM), pages 1-10. IEEE, 2010.
29. M. Pradel and T. R. Gross. Automatic generation of object usage specifications from large method traces. In International Conference on Automated Software Engineering (ASE), pages 371-382. IEEE, 2009.
30. S. Shoham, E. Yahav, S. Fink, and M. Pistoia. Static specification mining using automata-based abstractions. In International Symposium on Software Testing and Analysis (ISSTA), pages 174-184. ACM, 2007.
31. S. Thummalapenta and T. Xie. Alattin: Mining alternative patterns for detecting neglected conditions. In International Conference on Automated Software Engineering (ASE), pages 283-294. IEEE, 2009.
32. S. Thummalapenta and T. Xie. Mining exception-handling rules as sequence association rules. In International Conference on Software Engineering (ICSE), pages 496-506. IEEE, 2009.
33. A. Wasylkowski and A. Zeller. Mining temporal specifications from object usage. In International Conference on Automated Software Engineering (ASE), pages 295-306. IEEE, 2009.
34. A. Wasylkowski, A. Zeller, and C. Lindig. Detecting object usage anomalies. In European Software Engineering Conference and Symposium on Foundations of Software Engineering (ESEC/FSE), pages 35-44. ACM, 2007.
35. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In Symposium on Software Testing and Analysis (ISSTA), pages 218-228. ACM, 2002.