Detecting missing method calls in object-oriented software

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

Volumn 6183 LNCS, Issue , 2010, Pages 2-25

  Monperrus, Martin ^a   Bruch, Marcel ^a   Mezini, Mira ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMPIRICAL FACTS; FALSE POSITIVE RATES; NEW SYSTEM; OBJECT ORIENTED SOFTWARE; OBJECT-ORIENTED FRAMEWORKS; SOFTWARE DEVELOPMENT; SOURCE CODES;

COMPUTER SOFTWARE SELECTION AND EVALUATION; QUALITY ASSURANCE; SOFTWARE DESIGN; TOTAL QUALITY MANAGEMENT;

OBJECT ORIENTED PROGRAMMING;

EID: 77955041046     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14107-2_2     Document Type: Conference Paper

References (17)

1. Engler, D., Chen, D., Hallem, S., Chou, A., Chelf, B.: Bugs as deviant behavior: A general approach to inferring errors in systems code. In: Proceedings of SOSP 2001, vol.35, pp. 57-72 (2001)
2. Li, Z., Zhou, Y.: Pr-miner: automatically extracting implicit programming rules and detecting violations in large software code. SIGSOFT Softw. Eng. Notes 30(5), 306-315 (2005)
3. Livshits, B., Zimmermann, T.: Dynamine: finding common error patterns by mining software revision histories. SIGSOFT Softw. Eng. Notes 30(5), 296-305 (2005)
4. Wasylkowski, A., Zeller, A., Lindig, C.: Detecting object usage anomalies. In: Proceedings of ESEC-FSE 2007, pp. 35-44. ACM, New York (2007)
5. Robillard, M.P.: Topology analysis of software dependencies. ACM Trans. Softw. Eng. Methodol. 17(4), 1-36 (2008)
6. Kim, S., Ernst, M.D.:Which warnings should i fix first? In: Proceedings of ESEC/FSE, pp. 45-54. ACM, New York (2007)
7. Baxter, G., Frean, M., Noble, J., Rickerby, M., Smith, H., Visser, M., Melton, H., Tempero, E.: Understanding the shape of java software. In: Proceedings of OOPSLA. ACM, New York (2006)
8. Lienberherr, K.: Formulations and benefits of the law of demeter. ACM SIGPLAN Notices 24(3), 67-78 (1989)
9. Hovemeyer, D., Pugh,W.: Finding bugs is easy. SIGPLAN Not. 39(12), 92-106 (2004)
10. Yang, G.: The complexity of mining maximal frequent itemsets and maximal frequent patterns. In: KDD 2004 (2004)
11. Ernst, M.D., Cockrell, J., Griswold, W., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering 27(2), 99-123 (2001)
12. Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly detection. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), pp. 291-301 (2002)
13. Csallner, C., Smaragdakis, Y., Xie, T.: Dsd-crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2), 1-37 (2008)
14. Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M.: Perracotta:mining temporal api rules from imperfect traces. In: ICSE 2006: Proceedings of the 28th international conference on Software engineering, pp. 282-291. ACM, New York (2006)
15. Dallmeier, V., Lindig, C., Zeller, A.: Lightweight defect localization for java. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.3586, pp. 528-550. Springer, Heidelberg (2005)
16. Williams, C.C., Hollingsworth, J.K.: Automatic mining of source code repositories to improve bug finding techniques. IEEE Transactions on Software Engineering 31(6), 466-480 (2005)
17. Chang, R.-Y., Podgurski, A., Yang, J.: Finding what's not there: A new approach to revealing neglected conditions in software. In: Proceedings of ISSTA 2007 (2007)