Combined static and dynamic analysis

Electronic Notes in Theoretical Computer Science

Volumn 131, Issue , 2005, Pages 3-14

  Artho, Cyrille ^a   Biere, Armin ^b  

^a ETH ZURICH   (Switzerland)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Dynamic analysis; Java; Static analysis

Indexed keywords

ABSTRACTING; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; GENETIC ALGORITHMS; GRAPH THEORY; INFORMATION ANALYSIS; JAVA PROGRAMMING LANGUAGE; PROGRAM INTERPRETERS;

DYNAMIC ANALYSIS; JAVA; STATIC ANALYSIS; VIRTUAL MACHINES;

COMPUTER SCIENCE;

EID: 19044362517     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.01.018     Document Type: Conference Paper

References (20)

1. 1st, 2nd, 3rd and 4th Workshops on Runtime Verification (RV '01 - RV '04), volume 55(2), 70(4), 89(2), 24(2) of ENTCS. Elsevier Science, 2001 - 2004
2. C. Artho and A. Biere. Combined static and dynamic analysis. Technical Report 466, ETH Zürich, Zürich, Switzerland, 2005
3. C. Artho, A. Biere, and K. Havelund Using block-local atomicity to detect stale-value concurrency errors Farn Wang Proc. ATVA '04 2004 Springer
4. C. Artho, V. Schuppan, A. Biere, P. Eugster, M. Baur, and B. Zweimüller JNuke: Efficient Dynamic Analysis for Java R. Alur D. Peled Proc. CAV '04, Boston, USA 2004 Springer
5. G. Brat, D. Drusinsky, D. Giannakopoulou, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu, W. Visser, and R. Washington Experimental evaluation of verification and validation tools on Martian rover software Formal Methods in System Design 25 2 2004
6. J. Bull, L. Smith, M. Westhead, D. Henty, and R. Davey. A methodology for benchmarking Java Grande applications. In Proc. ACM Java Grande Conference, 1999
7. M. Burrows and R. Leino. Finding stale-value errors in concurrent programs. Technical Report SRC-TN-2002-004, Compaq SRC, Palo Alto, USA, 2002
8. P. Cousot, and R. Cousot Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints Proc. Symp. Principles of Programming Languages 1977 ACM Press
9. P. Eugster. Java Virtual Machine with rollback procedure allowing systematic and exhaustive testing of multithreaded Java programs. Master's thesis, ETH Zürich, 2003
10. S. Freund, and S. Qadeer Checking concise specifications for multithreaded software Journal of Object Technology 3 6 2004 81 101
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design Patterns: Elements of Reusable Object-Oriented Software Addison-Wesley Professional Computing Series 1995 Addison-Wesley Publishing Company New York, NY
12. S. Horwitz, A. Demers, and T. Teitebaum An efficient general iterative algorithm for dataflow analysis Acta Inf. 24 6 1987 679 694
13. D. Lea Concurrent Programming in Java Second Edition 1999 Addison-Wesley
14. T. Marlowe, and B. Ryder An efficient hybrid algorithm for incremental data flow analysis Proc. 17th ACM SIGPLAN-SIGACT, San Francisco, USA 1990 ACM Press 184 196
15. M. Mohnen A graph-free approach to data-flow analysis Proc. 11th CC 2002 Springer 46 61
16. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson Eraser: A dynamic data race detector for multithreaded programs ACM Trans. on Computer Systems 15 4 1997
17. J. Trono A new exercise in concurrency SIGCSE Bull. 26 3 1994 8 10
18. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda Model checking programs Automated Software Engineering Journal 10 2 April 2003
19. C. von Praun, and T. Gross Object-race detection OOPSLA 2001, Tampa Bay, USA 2001 ACM Press
20. J. Whaley, and M. Rinard Compositional pointer and escape analysis for Java programs Proc. OOPSLA '99, Denver, USA 1999 ACM Press 187 206