Mining parametric specifications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 591-600

  Lee, Choonghwan ^a   Chen, Feng ^a   Roşu, Grigore ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

dynamic analysis; parametric specifications

Indexed keywords

EXECUTION TRACE; GENERAL APPROACH; MULTIOBJECT; NON-PARAMETRIC; NON-TRIVIAL; PARAMETRIC SPECIFICATIONS; PROGRAM EXECUTION; RUNTIMES; SEPARATION OF CONCERNS;

DYNAMIC ANALYSIS; SOFTWARE ENGINEERING;

SPECIFICATIONS;

EID: 79959890862     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985874     Document Type: Conference Paper

References (21)

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 FSE, 2007.
2. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. In POPL, 2002.
3. L. Briand, Y. Labiche, and J. Leduc. Toward the reverse engineering of UML sequence diagrams for distributed Java software. IEEE Trans. Software Engineering, 32(9):642-663, 2006.
4. F. Chen and G. Roşu. MOP: An efficient and generic runtime verification framework. In OOPSLA, 2007.
5. F. Chen and G. Roşu. Parametric trace slicing and monitoring. In TACAS, 2009.
6. F. Chen, C. Lee, and G. Roşu. Mining parametric specifications. Technical report, University of Illinois, 2010. URL http://hdl.handle.net/2142/ 15109.
7. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining object behavior with ADABU. In Proceedings of the 2006 International Workshop on Dynamic Systems Analysis (WODA'06). ACM, 2006.
8. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In ICSE, 2000.
9. M. Gabel and Z. Su. Javert: fully automatic mining of general temporal properties from dynamic traces. In FSE, 2008.
10. J. Henkel, C. Reichenbach, and A. Diwan. Discovering documentation for java container classes. IEEE Trans. on Software Engineering, 33:526-543, 2007. (Pubitemid 47098723)
11. Java Virtual Machine Tool Interface. http://download.oracle.com/javase/6/ docs/technotes/guides/jvmti.
12. jMiner Webpage. http://fsl.cs.uiuc.edu/jMiner.
13. D. Lo and S. Maoz. Mining hierarchical scenario-based specifications. In ASE, 2009.
14. D. Lorenzoli, L. Mariani, and M. Pezz̀e. Automatic gen. of software behavioral models. In ICSE, 2008.
15. M. Pradel and T. R. Gross. Automatic generation of object usage specifications from large method traces. In ASE, 2009.
16. A. Raman, J. Patrick, and P. North. The sk-strings method for inferring PFSA. In ICML, 1997.
17. M. K. Ramanathan, A. Grama, and S. Jagannathan. Path-sensitive inference of function precedence protocols. In ICSE, 2007.
18. S. Shoham, E. Yahav, S. Fink, and M. Pistoia. Static specification mining using automata-based abstractions. In ISSTA, 2007.
19. W. Weimer and G. C. Necula. Mining temporal specifications for error detection. In TACAS, 2005.
20. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: mining temporal API rules from imperfect traces. In ICSE, 2006.
21. H. Zhong, T. Xie, L. Zhang, J. Pei, and H. Mei. MAPO: Mining and recommending API usage patterns. In ECOOP, 2009.