Statically checking API protocol conformance with mined multi-object specifications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2012, Pages 925-935

  Pradel, Michael ^a   Jaspan, Ciera ^b   Aldrich, Jonathan ^b   Gross, Thomas R ^a  

^a ETH ZURICH   (Switzerland)

^b Carnegie Mellon University ^*  (United States)

Author keywords

Specification mining; Static analysis; Typestate

Indexed keywords

CODE SMELL; COMBINED SYSTEM; JAVA PROGRAM; MULTIOBJECT; SPECIFICATION MINING; STATE-OF-THE-ART APPROACH; TRUE POSITIVE RATES; TYPESTATE;

COMPUTER SOFTWARE; CRIME; JAVA PROGRAMMING LANGUAGE; SPECIFICATIONS; STATIC ANALYSIS;

PROGRAM DEBUGGING;

EID: 84864258262     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2012.6227127     Document Type: Conference Paper

References (43)

1. 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, pp. 57-72.
2. S. Hangal and M. S. Lam, "Tracking down software bugs using automatic anomaly detection," in ICSE, 2002, pp. 291-301.
3. Z. Li and Y. Zhou, "PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code," in ESEC/FSE, 2005, pp. 306-315.
4. G. Ammons, R. Bodík, and J. R. Larus, "Mining specifications," in POPL, 2002, pp. 4-16.
5. S. Shoham, E. Yahav, S. Fink, and M. Pistoia, "Static specification mining using automata-based abstractions," in ISSTA, 2007, pp. 174-184.
6. M. Gabel and Z. Su, "Javert: Fully automatic mining of general temporal properties from dynamic traces," in FSE, 2008, pp. 339-349.
7. H. Zhong, L. Zhang, and H. Mei, "Inferring specifications of object oriented APIs from API source code," in APSEC, 2008, pp. 221-228.
8. M. Pradel and T. R. Gross, "Automatic generation of object usage specifications from large method traces," in ASE, 2009, pp. 371-382.
9. H. Zhong, L. Zhang, T. Xie, and H. Mei, "Inferring resource specifications from natural language API documentation," in ASE, 2009, pp. 307-318.
10. M. Pradel, P. Bichsel, and T. R. Gross, "A framework for the evaluation of specification miners based on finite state machines," in ICSM, 2010, pp. 1-10.
11. C. Lee, F. Chen, and G. Rosu, "Mining parametric specifications," in ICSE, 2011.
12. J. Whaley, M. C. Martin, and M. S. Lam, "Automatic extraction of object-oriented component interfaces," in ISSTA, 2002, pp. 218-228.
13. V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller, "Generating test cases for specification mining," in ISSTA, 2010, pp. 85-96.
14. S. M. Blackburn et al., "The DaCapo benchmarks: Java benchmarking development and analysis," in OOPSLA, 2006, pp. 169-190.
15. C. Jaspan and J. Aldrich, "Checking framework interactions with relationships," in ECOOP, 2009, pp. 27-51.
16. 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 ESEC/FSE, 2009, pp. 383-392.
17. S. Thummalapenta and T. Xie, "Alattin: Mining alternative patterns for detecting neglected conditions," in ASE, 2009, pp. 283-294.
18. A. Wasylkowski and A. Zeller, "Mining temporal specifications from object usage," in ASE, 2009, pp. 295-306.
19. M. Monperrus, M. Bruch, and M. Mezini, "Detecting missing method calls in object-oriented software," in ECOOP, 2010, pp. 2-25.
20. M. Pradel, C. Jaspan, J. Aldrich, and T. R. Gross, "Statically checking api protocol conformance with mined multi-object specifications, companion report," ETH Zurich, Tech. Rep. 752, March 2012.
21. N. Gruska, A. Wasylkowski, and A. Zeller, "Learning from 6,000 projects: Lightweight cross-project anomaly detection," in ISSTA, 2010, pp. 119-130.
22. M. Fowler, Refactoring: Improving the Design of Existing Code, 1999.
23. N. E. Beckman, D. Kim, and J. Aldrich, "An empirical study of object protocols in the wild," in ECOOP, 2011.
24. M. Gabel and Z. Su, "Online inference and enforcement of temporal properties," in ICSE, 2010, pp. 15-24.
25. D. Hovemeyer and W. Pugh, "Finding bugs is easy," in OOPSLA Companion, 2004, pp. 132-136.
26. A. Bessey, K. Block, B. Chelf, A. Chou, B. Fulton, S. Hallem, C. Henri-Gros, A. Kamsky, S. McPeak, and D. R. Engler, "A few billion lines of code later: Using static analysis to find bugs in the real world," Commun ACM, vol. 53, no. 2, pp. 66-75, 2010.
27. D. Lorenzoli, L. Mariani, and M. Pezzè, "Automatic generation of software behavioral models," in ICSE, 2008, pp. 501-510.
28. S. Thummalapenta and T. Xie, "Mining exception-handling rules as sequence association rules," in ICSE, 2009, pp. 496-506.
29. W. Weimer and G. C. Necula, "Mining temporal specifications for error detection," in TACAS, 2005, pp. 461-476.
30. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, "Dynamically discovering likely program invariants to support program evolution," IEEE T Software Eng, vol. 27, no. 2, pp. 213-224, 2001.
31. B. Hackett, M. Das, D. Wang, and Z. Yang, "Modular checking for buffer overflows in the large," in ICSE, 2006, pp. 232-241.
32. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler, "From uncertainty to belief: Inferring the specification within," in OSDI, 2006.
33. M. Pradel and T. R. Gross, "Leveraging test generation and specification mining for automated bug detection without false positives," in ICSE, 2012.
34. E. Bodden, "Efficient hybrid typestate analysis by determining continuation-equivalent states," in ICSE, 2010, pp. 5-14.
35. N. A. Naeem and O. Lhotak, "Typestate-like analysis of multiple interacting objects," in OOPSLA, 2008, pp. 347-366.
36. C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble, "Adding trace matching with free variables to AspectJ," in OOPSLA, 2005, pp. 345-364.
37. F. Chen and G. Rosu, "MOP: An efficient and generic runtime verification framework," in OOPSLA, 2007, pp. 569-588.
38. K. Bierhoff and J. Aldrich, "Modular typestate checking of aliased objects," in OOPSLA, 2007, pp. 301-320.
39. R. DeLine and M. Fähndrich, "Typestates for objects," in ECOOP, 2004, pp. 465-490.
40. S. J. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay, "Effective typestate verification in the presence of aliasing," ACM T Softw Eng Meth, vol. 17, no. 2, pp. 1-34, 2008.
41. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das, "Perracotta: Mining temporal API rules from imperfect traces," in ICSE, 2006, pp. 282-291.
42. V. Dallmeier, C. Lindig, and A. Zeller, "Lightweight defect localization for Java," in ECOOP, 2005, pp. 528-550.
43. L. Mariani, F. Pastore, and M. Pezzè, "Dynamic analysis for diagnosing integration faults," IEEE Trans Softw Eng, vol. 37, no. 4, pp. 486-508, 2011.