JVM Independent Replay in Java

Electronic Notes in Theoretical Computer Science

Volumn 113, Issue SPEC. ISS., 2005, Pages 85-104

  Schuppan, Viktor ^a   Baur, Marcel ^a   Biere, Armin ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Debugging aids; Execution replay; Java; Testing tools; Verification tools

Indexed keywords

DEBUGGING AIDS; EXECUTION REPLAY; TESTING TOOLS; VERIFICATION TOOLS;

COMPUTER AIDED DESIGN; COMPUTER SOFTWARE; INFORMATION ANALYSIS; INTEGRATED CIRCUITS; PERTURBATION TECHNIQUES; PROGRAM DEBUGGING;

JAVA PROGRAMMING LANGUAGE;

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

References (33)

1. C. Artho, K. Havelund, and A. Biere High-level data races Journal on Software Testing, Verification & Reliability (STVR) 13 2003
2. Automated Software Engineering Group at NASA Ames Research Center Fund managers example http://ase.arc.nasa.gov/visser/jpf/jdc.html
3. Bruening, D., "Systematic Testing of Multithreaded Java Programs," Master's thesis, MIT (1999)
4. Choi, J.-D., B. Alpern, T. Ngo, M. Sridharan and J. Vlissides, A perturbation-free replay platform for cross-optimized multithreaded applications, in: IPDPS, 2001
5. Choi, J.-D. and H. Srinivasan, Deterministic replay of Java multithreaded applications, in: SPDT, 1998
6. Choi, J.-D. and A. Zeller, Isolating failure-inducing thread schedules, in: ISSTA, 2002
7. Corbett, J., M. Dwyer, J. Hatcliff, S. Laubach, C. Pasareanu, Robby and H. Zheng, Bandera: Extracting finite-state models from Java source code, in: ICSE, 2000
8. debugtools.com debugtools.com - JDebugTool graphical Java debugger http://www.debugtools.com/
9. eclipse.org Eclipse http://www.eclipse.org/
10. O. Edelstein, E. Farchi, E. Goldin, Y. Nir, G. Ratsaby, and S. Ur Framework for testing multi-threaded Java programs Concurrency and Computation: Practice and Experience 15 2003
11. S. Edwards An Esterel compiler for large control-dominated systems IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21 2002
12. EPCC The Java Grande Forum benchmark suite http://www.epcc.ed.ac.uk/ javagrande/index_1.html
13. Eugster, P., "Java Virtual Machine with Rollback Procedure allowing Systematic and Exhaustive Testing of Multi-threaded Java Programs," Master's thesis, ETH Zrich (2003)
14. N. Fiedler JSwat graphical Java debugger http://www.bluemarsh.com/java/ jswat/index.html
15. Georges, A., M. Christiaens, M. Ronsse and K.D. Bosschere, JaReC: a record/replay system for multi-threaded Java applications, in: Parallel Computing: Grids and Applications, 2002
16. J. Gosling, B. Joy, G. Steele, and G. Bracha The Java Language Specification second edition 2000 Addison-Wesley
17. Konuru, R., H. Srinivasan and J.-D. Choi, Deterministic replay of distributed Java applications, in: IPDPS, 2000
18. L. Lamport Time, clocks, and the ordering of events in a distributed system Communications of the ACM 21 1978
19. T.J. LeBlanc, and J.M. Mellor-Crummey Debugging parallel programs with Instant Replay IEEE Transactions on Computers C-36 1987
20. T. Londholm, and F. Jellin The Java Virtual Machine Specification second edition 1999 Addison-Wesley
21. C. McDowell, and D. Helmbold Debugging concurrent programs ACM Computing Surveys 21 1989
22. Mellor-Crummey, J.M. and T.J. LeBlanc, A software instruction counter, in: ASPLOS, 1989
23. Netzer, R.H.B., Optimal tracing and replay for debugging shared-memory parallel programs, in: Workshop on Parallel and Distributed Debugging, 1993
24. Pan, D. and M. Linton, Supporting reverse execution of parallel programs, in: Workshop on Parallel and Distributed Debugging, 1988
25. M. Ronsse, and K.D. Bosschere RecPlay: A fully integrated practical record/replay system ACM TCS 17 1999
26. Russinovich, M. and B. Cogswell, Replay for concurrent non-deterministic shared-memory applications, in: PLDI, 1996
27. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson Eraser: A dynamic data race detector for multithreaded programs ACM TCS 15 1997
28. Steven, J., P. Chandra, B. Fleck and A. Podgurski, jRapture: A capture/replay tool for observation-based testing, in: ISSTA, 2000
29. Sun Java 2 Platform, Standard Edition, v 1.4.1 API Specification http://java.sun.com/j2se/1.4.1/docs/api/index.html
30. Sun Java Virtual Machine Profiler Interface (JVMPI) http://java.sun.com/ j2se/1.4.1/docs/guide/jvmpi/jvmpi.html
31. K.-C. Tai, R.H. Carver, and E.E. Obaid Debugging concurrent Ada programs by deterministic execution IEEE TSE 17 1991
32. Visser, W., K. Havelund, G. Brat and S. Park, Model checking programs, in: ASE, 2000
33. A. Zeller, and R. Hildebrandt Simplifying and isolating failure-inducing input IEEE TSE 28 2002