Javert: Fully automatic mining of general temporal properties from dynamic traces

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2008, Pages 339-349

  Gabel, Mark ^a   Su, Zhendong ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Dynamic analysis; Formal specifications; Specification mining

Indexed keywords

AUTOMATIC TECHNIQUE; COMPLEX PATTERN; DYNAMIC TRACES; EMPIRICAL EVALUATIONS; EXECUTION TRACE; FORMAL CORRECTNESS; FORMAL SPECIFICATION; GENERAL SPECIFICATION; GENERIC PATTERNS; OPEN SOURCE SOFTWARE PROJECTS; PROGRAM SOURCE CODES; PROGRAM SPECIFICATION; REAL-WORLD; RESOURCE USAGE; SPECIFICATION MINING; TEMPORAL PROPERTY; TEMPORAL SPECIFICATION;

COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SYSTEMS PROGRAMMING; DYNAMIC ANALYSIS; MINING; OPEN SYSTEMS; SOFTWARE DESIGN;

SPECIFICATIONS;

EID: 77950474436     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1453101.1453150     Document Type: Conference Paper

References (32)

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 ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 25-34, New York, NY, USA, 2007. ACM.
2. H. Agrawal and J. R. Horgan. Dynamic program slicing. In PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, pages 246-256, 1990.
3. R. Alur, P. Č erný, P. Madhusudan, and W. Nam. Synthesis of interface specifications for Java classes. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 98-109, 2005.
4. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 4-16, 2002.
5. G. Ammons, D. Mandelin, R. Bodík, and J. R. Larus. Debugging temporal specifications with concept analysis. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pages 182-195, New York, NY, USA, 2003. ACM.
6. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software, pages 103-122, 2001.
7. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput., 35(8):677-691, 1986.
8. C. Csallner and Y. Smaragdakis. Dynamically discovering likely interface invariants. In Proceedings of ICSE, pages 861-864, 2006.
9. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining object behavior with adabu. In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis, pages 17-24, New York, NY, USA, 2006. ACM.
10. M. Das, S. Lerner, and M. Seigle. ESP: Path-sensitive program verification in polynomial time. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 57-68, 2002.
11. 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 '01: Proceedings of the eighteenth ACM symposium on Operating systems principles, pages 57-72, 2001.
12. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In Proceedings of ICSE, pages 449-458, 2000.
13. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proceedings of PLDI, pages 234-245, 2002.
14. M. Gabel and Z. Su. Symbolic mining of temporal specifications. In ICSE '08: Proceedings of the 30th International Conference on Software Engineering, New York, NY, USA, 2008. ACM.
15. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of ICSE, pages 291-301, 2002.
16. T. A. Henzinger, R. Jhala, and R. Majumdar. Permissive interfaces. In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 31-40, New York, NY, USA, 2005. ACM.
17. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: inferring the specification within. In USENIX'06: Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation, pages 12-12, 2006.
18. Z. Li and Y. Zhou. PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code. In Proceedings of ESEC/FSE-13, pages 306-315, 2005.
19. D. Lo and S.-C. Khoo. Smartic: towards building an accurate, robust and scalable specification miner. In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, pages 265-275, New York, NY, USA, 2006. ACM.
20. D. Lorenzoli, L. Mariani, and M. Pezze. Automatic generation of software behavioral models. In ICSE '08: Proceedings of the 30th International Conference on Software Engineering, New York, NY, USA, 2008. ACM.
21. 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 SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles, pages 103-116, New York, NY, USA, 2007. ACM.
22. J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pages 229-239, New York, NY, USA, 2002. ACM.
23. L. Pitt and M. K. Warmuth. The minimum consistent DFA problem cannot be approximated within a polynomial. In STOC '89: Proceedings of the twenty-first annual ACM symposium on Theory of computing, pages 421-432, New York, NY, USA, 1989. ACM.
24. M. K. Ramanathan, A. Grama, and S. Jagannathan. Path-sensitive inference of function precedence protocols. In Proceedings of ICSE, pages 240-250, 2007.
25. M. K. Ramanathan, A. Grama, and S. Jagannathan. Static specification inference using predicate mining. In Proceedings of PLDI, pages 123-134, 2007.
26. S. Shoham, E. Yahav, S. Fink, and M. Pistoia. Gallery of mined specifications. http://tinyurl.com/23qct8 or http://docs.google.com/View?docid= ddhtqgv6-10hbczjd.
27. S. Shoham, E. Yahav, S. Fink, and M. Pistoia. Static specification mining using automata-based abstractions. In Proceedings of ISSTA, pages 174-184, 2007.
28. A. Wasylkowski, A. Zeller, and C. Lindig. Detecting object usage anomalies. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 35-44, New York, NY, USA, 2007. ACM.
29. W. Weimer and G. Necula. Mining temporal specifications for error detection. In Proceedings of TACAS, pages 461-476, 2005.
30. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pages 218-228, 2002.
31. Y. Xie and A. Aiken. Scalable error detection using boolean satisfiability. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 351-363, 2005. (Pubitemid 40493990)
32. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: Mining temporal API rules from imperfect traces. In Proceedings of ICSE, pages 282-291, 2006.