JNuke: Efficient dynamic analysis for Java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3114, Issue , 2004, Pages 462-465

  Artho, Cyrille ^a   Schuppan, Viktor ^a   Biere, Armin ^a   Eugster, Pascal ^b   Baur, Marcel ^c   Zweimüller, Boris ^a  

^a ETH ZURICH   (Switzerland)

^b Avaloq Evolution AG   (Switzerland)

^c Al Dente Brainworks   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE;

COUNTER EXAMPLES; DYNAMIC VERIFICATIONS; EXPLICIT-STATE MODEL CHECKING; IMPROVING PERFORMANCE; JAVA PROGRAM; MEMORY USAGE; RUN-TIME VERIFICATION;

MODEL CHECKING;

EID: 34547435524     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27813-9_37     Document Type: Article

References (18)

1. C. Artho, K. Havelund, and A. Biere. High-level data races. Journal on Software Testing, Verification & Reliability (STVR), 13(4), 2003.
2. D. Bruening. Systematic testing of multithreaded Java programs. Master's thesis, MIT, 1999.
3. 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.
4. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. Intl. Conf. on Software Engineering (ICSE'00). ACM Press, 2000.
5. P. Eugster. Java Virtual Machine with rollback procedure allowing systematic and exhaustive testing of multithreaded Java programs. Master's thesis, ETH Zürich, 2003.
6. P. Godefroid. Model checking for programming languages using VeriSoft. In Proc. ACM Symposium on Principles of Programming Languages (POPL'97), 1997.
7. J. Harrow. Runtime checking of multithreaded applications with Visual Threads. In Proc. SPIN Workshop (SPIN'00), volume 1885 of LNCS. Springer, 2000.
8. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proc. Winter USENIX Conf. (USENIX'92), 1992.
9. K. Havelund and G. Roşu. Monitoring Java programs with Java PathExplorer. In Proc. Run-Time Verification Workshop (RV'01), volume 55 of ENTCS. Elsevier, 2001.
10. G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
11. G. Holzmann and M. Smith. A practical method for verifying event-driven software. In Proc. Intl. Conf. on Software Engineering (ICSE'99). IEEE/ACM, 1999.
12. M. Kim, S. Kannan, I. Lee, O. Sokolsky, and M. Viswanathan. Java-MaC: a run-time assur-ance tool for Java programs. In Proc. Run-Time Verification Workshop (RV'01), volume 55 of ENTCS. Elsevier, 2001.
13. Robby, M. Dwyer, and J. Hatcliff. Bogor: an extensible and highly-modular software model checking framework. In Proc. European Software Engineering Conf. (ESEC'03), 2003.
14. 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.
15. V. Schuppan, M. Baur, and A. Biere. JVM-independent replay in Java. In Proc. Run-Time Verification Workshop (RV'04), ENTCS. Elsevier, 2004.
16. R. Stärk, J. Schmid, and E. Börger. Java and the Java Virtual Machine. Springer, 2001.
17. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. IEEE Intl. Conf. Automated Software Engineering (ASE'00), 2000.
18. C. von Praun and T. Gross. Object-race detection. In OOPSLA 2001. ACM Press, 2001.