Online inference and enforcement of temporal properties

Proceedings - International Conference on Software Engineering

Volumn 1, Issue , 2010, Pages 15-24

  Gabel, Mark ^a   Su, Zhendong ^a  

^a University of California Davis   (United States)

Author keywords

dynamic analysis; online algorithm; temporal properties

Indexed keywords

CODE SMELL; DEGREE OF PRECISION; DYNAMIC TECHNIQUES; INFERENCE TECHNIQUES; JAVA OBJECTS; ON-LINE ALGORITHMS; PROGRAM STATE; RUNTIME MONITORING; SEQUENTIAL METHODS; SOFTWARE COMPONENT; TEMPORAL LOCALITY; TEMPORAL PROPERTIES; TEMPORAL PROPERTY; TEMPORAL SAFETY; TIME-CONSUMING PROCESS;

ALGORITHMS; COMPUTER SOFTWARE; DYNAMIC ANALYSIS; SPECIFICATIONS;

JAVA PROGRAMMING LANGUAGE;

EID: 77954716357     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806799.1806806     Document Type: Conference Paper

References (29)

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 Proceedings of ESEC-FSE '07, 2007.
2. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. In Proceedings of POPL '02, 2002.
3. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanović, T. VanDrunen, D. von Dincklage, and B. Wiedermann. The DaCapo benchmarks: Java benchmarking development and analysis. In Proceedings of OOPSLA '06, Oct. 2006.
4. E. Bodden, P. Lam, and L. Hendren. Finding programming errors earlier by evaluating runtime monitors ahead-of-time. In Proceedings of SIGSOFT '08/FSE-16, 2008.
5. R.-Y. Chang, A. Podgurski, and J. Yang. Finding what's not there: a new approach to revealing neglected conditions in software. In Proceedings of ISSTA '07, 2007.
6. F. Chen and G. Roşu. Mop: an efficient and generic runtime verification framework. In Proceedings of OOPSLA '07, 2007.
7. 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, 2006.
8. M. Das, S. Lerner, and M. Seigle. ESP: Path-sensitive program verification in polynomial time. In Proceedings of PLDI, 2002.
9. I. Dillig, T. Dillig, E. Yahav, and S. Chandra. The CLOSER: automating resource management in Java. In ISMM '08: Proceedings of the 7th international symposium on Memory management, 2008.
10. M. B. Dwyer, M. Diep, and S. G. Elbaum. Reducing the cost of path property monitoring through sampling. In ASE, 2008.
11. M. B. Dwyer, A. Kinneer, and S. Elbaum. Adaptive online program analysis. In ICSE '07: Proceedings of the 29th international conference on Software Engineering, 2007.
12. M. B. Dwyer and R. Purandare. Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. In Proceedings of ASE, 2007.
13. S. Elbaum, S. Kanduri, and A. Andrews. Trace anomalies as precursors of field failures: an empirical study. Empirical Softw. Engg., 12(5), 2007.
14. 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, 2001.
15. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In Proceedings of ICSE, 2000.
16. S. J. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay. Effective typestate verification in the presence of aliasing. ACM Trans. Softw. Eng. Methodol., 17(2), 2008.
17. M. Gabel and Z. Su. Javert: Fully automatic mining of general temporal properties from dynamic traces. In Proceedings of SIGSOFT '08/FSE-16, 2008.
18. M. Gabel and Z. Su. Symbolic mining of temporal specifications. In Proceedings of ICSE '08, 2008.
19. M. Gopinathan and S. K. Rajamani. Enforcing object protocols by combining static and runtime analysis. In Proceedings of OOPSLA '08, 2008.
20. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of ICSE, 2002.
21. C. Le Goues and W. Weimer. Specification mining with few false positives. In TACAS '09: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2009.
22. 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, 2005.
23. 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 Proceedings of SOSP '07, 2007.
24. 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 Proceedings of ESEC/FSE '09, 2009.
25. M. K. Ramanathan, A. Grama, and S. Jagannathan. Path-sensitive inference of function precedence protocols. In Proceedings of ICSE, 2007.
26. R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng., 12(1), 1986.
27. S. Thummalapenta and T. Xie. Mining exception-handling rules as sequence association rules. In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, 2009.
28. A. Wasylkowski, A. Zeller, and C. Lindig. Detecting object usage anomalies. In Proceedings of ESEC-FSE, 2007.
29. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: Mining temporal API rules from imperfect traces. In Proceedings of ICSE, 2006.