Automatic generation of object usage specifications from large method traces

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

Volumn , Issue , 2009, Pages 371-382

  Pradel, Michael ^a   Gross, Thomas R ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Dynamic analysis; Formal specifications; Specification inference; Temporal properties

Indexed keywords

AUTOMATIC GENERATION; ERROR PRONES; FORMAL SPECIFICATION; FORMAL SPECIFICATIONS; PROGRAMMING ERRORS; REAL-WORLD APPLICATION; RUN-TIME DATA; RUNNING APPLICATIONS; RUNTIMES; TEMPORAL PROPERTIES; TEMPORAL PROPERTY;

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER SOFTWARE; DYNAMIC ANALYSIS;

SPECIFICATIONS;

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

References (43)

1. D. Engler, B. Chelf, A. Chou, and S. Hallem, "Checking system rules using system-specific, programmer-written compiler extensions," in Symposium on Operating Systems Design and Implementation (OSDI), 2000, pp. 1-16.
2. T. Ball and S. K. Rajamani, "The SLAM project: Debugging system software via static analysis," in Symposium on Principles of Programming Languages (POPL), 2002, pp. 1-3.
3. 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, 2001, pp. 57-72.
4. 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), 2005, pp. 306-315.
5. W. Weimer and G. C. Necula, "Mining temporal specifications for error detection," in Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2005, pp. 461-476.
6. 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), 2007, pp. 35-44.
7. J. Henkel, C. Reichenbach, and A. Diwan, "Discovering documentation for Java container classes," IEEE Transactions on Software Engineering, vol.33, no.8, pp. 526-543, 2007.
8. G. Ammons, R. Bodík, and J. R. Larus, "Mining specifications," in Symposium on Principles of Programming Languages (POPL), 2002, pp. 4-16.
9. J. Whaley, M. C. Martin, and M. S. Lam, "Automatic extraction of object-oriented component interfaces," in Symposium on Software Testing and Analysis (ISSTA), 2002, pp. 218-228.
10. M. Gabel and Z. Su, "Javert: Fully automatic mining of general temporal properties from dynamic traces," in Symposium on Foundations of Software Engineering (FSE), 2008, pp. 339-349.
11. R. Alur, P. Cerný, P. Madhusudan, and W. Nam, "Synthesis of interface specifications for Java classes," in Symposium on Principles of Programming Languages (POPL), 2005, pp. 98-109.
12. E. M. Gold, "Complexity of automaton identification from given data," Information and Control, vol.37, no.3, pp. 302-320, 1978.
13. A. W. Biermann and J. A. Feldman, "On the synthesis of finite-state machines from samples of their behaviour," IEEE Transactions on Computers, vol.21, pp. 592-597, 1972.
14. M. Odersky, L. Spoon, and B. Venners, Programming in Scala, A comprehensive step-by-step guide. Artima, 2008.
15. "The AspectJ project," http://www.eclipse.org/aspectj/.
16. "Graphviz - graph visualization software," http://www.graphviz. org/.
17. A. Møller, "Finite-state automata and regular expressions for Java," http://www.brics.dk/automaton/.
18. D. Flanagan, Java in a nutshell. O'Reilly, 2005.
19. 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), 2006, pp. 169-190.
20. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das, "Perracotta: Mining temporal API rules from imperfect traces," in International Conference on Software Engineering (ICSE), 2006, pp. 282-291.
21. T. Xie, "Software component protocol inference," University of Washington, Tech. Rep., June 2003. [Online]. Available: http://www.csc.ncsu.edu/ faculty/xie/publications/generals-tao.pdf
22. "jEdit - programmer's text editor," http://www.jedit.org/.
23. M. C. Martin, V. B. Livshits, and M. S. Lam, "Finding application errors and security flaws using PQL: A program query language," in Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2005, pp. 365-383.
24. 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 Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2005, pp. 345-364.
25. F. Chen and G. Rosu, "MOP: An efficient and generic runtime verification framework," in Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2007, pp. 569-588.
26. R. E. Strom and S. Yemini, "Typestate: A programming language concept for enhancing software reliability," IEEE Transactions on Software Engineering, vol.12, no.1, pp. 157-171, 1986.
27. K. Bierhoff and J. Aldrich, "Modular typestate checking of aliased objects," in Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2007, pp. 301-320.
28. M. D. Ernst, "Dynamically discovering likely program invariants," Ph.D. dissertation, University of Washington, 2000.
29. 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. 213-224, 2001.
30. C. Ghezzi, A. Mocci, and M. Monga, "Synthesizing intensional behavior models by graph transformation," in International Conference on Software Engineering (ICSE), 2009, pp. 430-440.
31. D. Lo and S.-C. Khoo, "Smartic: towards building an accurate, robust and scalable specification miner," in Symposium on Foundations of Software Engineering (FSE), 2006, pp. 265-275.
32. S. P. Reiss and M. Renieris, "Encoding program executions," in International Conference on Software Engineering (ICSE), 2001, pp. 221-230.
33. M. Salah, T. Denton, S. Mancoridis, A. Shokoufandeh, and F. I. Vokolos, "Scenariographer: A tool for reverse engineering class usage scenarios from method invocation sequences," in Conference on Software Maintenance (ICSM), 2005, pp. 155-164.
34. M. Acharya, T. Xie, J. Pei, and J. Xu, "Mining API patterns as partial orders from source code: From usage scenarios to specifications," in European Software Engineering Conference and Symposium on Foundations of Software Engineering (ESEC/FSE), 2007, pp. 25-34.
35. C. Liu, E. Ye, and D. J. Richardson, "Software library usage pattern extraction using a software model checker," in Automated Software Engineering (ASE), 2006, pp. 301-304.
36. F. Steimann, "On the representation of roles in object-oriented and conceptual modelling," Data & Knowledge Engineering, vol.35, no.1, pp. 83-106, 2000.
37. T. Richner and S. Ducasse, "Using dynamic information for the iterative recovery of collaborations and roles," in International Conference on Software Maintenance (ICSM), 2002, pp. 34-43.
38. J. Quante and R. Koschke, "Dynamic object process graphs," Journal of Systems and Software, vol.81, no.4, pp. 481-501, 2008.
39. -, "Dynamic protocol recovery," in Working Conference on Reverse Engineering (WCRE), 2007, pp. 219-228.
40. V. B. Livshits and T. Zimmermann, "DynaMine: Finding common error patterns by mining software revision histories," in European Software Engineering Conference and Symposium on Foundations of Software Engineering (ESEC/FSE), 2005, pp. 296-305.
41. C. Fetzer and M. Süßkraut, "Switchblade: Enforcing dynamic personalized system call models," in EuroSys, 2008, pp. 273-286.
42. T. Xie and D. Notkin, "Mutually enhancing test generation and specification inference," in Formal Approaches to Software Testing, 2003, pp. 60-69.
43. 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, 1998.