Viktor Schuppan, Marcel Baur, Armin Biere  Home/Search
Context Related
| inf.ethz.ch/~schup...ABiereRV2004.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: inf.ethz.ch/~schup...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Deterministic replay can help to understand the cause of a failing execution of a multi-threaded program. Stepwise browsing of a counterexample serves the same purpose in the context of static and dynamic checking. In this paper we present a tool for deterministic replay of a multi-threaded execution of a Java program. The replay engine is independent of a specific JVM. We also suggest a language to describe thread schedules. Such schedules can be produced either directly by a tool or virtual... (Update)
Cited by: More
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
Advanced Unit Testing - How to Scale up a Unit Test Framework - Artho, Biere (2006) (Correct)
Active bibliography (related documents): More All
2.7: JVM Independent Replay in Java - Schuppan, Baur, Biere (2004) (Correct)
0.7: Instrumenting Java Bytecode to Replay Execution Traces of.. - Baur (2003) (Correct)
0.5: A Taxonomy of Execution Replay Systems - Cornelis, Georges, Christiaens.. (Correct)
Similar documents based on text: More All
0.5: A Simple Verification of the Tree Identify Protocol with SMV - Schuppan, Biere (2001) (Correct)
0.5: Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV - Schuppan, Biere (2003) (Correct)
0.4: Liveness Checking as Safety Checking - Biere, Artho, Schuppan (2002) (Correct)
Related documents from co-citation: More All
4: Purify: fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1992
3: Java and the Java Virtual Machine (context) - Borger, Schmid et al. - 2000
3: Java Virtual Machine with Rollback Procedure allowing Systematic and Exhaustive .. (context) - Eugster - 2003
BibTeX entry: (Update)
V. Schuppan, M. Baur, and A. Biere. JVM-independent replay in Java. In Proc. Run-Time Verification Workshop (RV'04), ENTCS. Elsevier, 2004. http://citeseer.ist.psu.edu/article/schuppan04jvm.html More
@inproceedings{ vschuppanmbaurabiere-rv-2004,
author={Viktor Schuppan and Marcel Baur and Armin Biere},
title={{JVM} Independent Replay in Java},
editor={Klaus Havelund and Grigore Rosu},
booktitle={Runtime Verification, Fourth Workshop, RV 2004, Barcelona, Spain, April 3rd, 2004, Proceedings},
pages={76--94}
year={2004},
url = {citeseer.ist.psu.edu/article/schuppan04jvm.html} }
Citations (may not include all citations):917 and the ordering of events in a distributed system (context) - Lamport - 1978
862 The Java Language Specification - Gosling, Joy et al. - 2000
270 Bandera: Extracting finite-state models from Java source cod.. - Corbett, Dwyer et al. - 2000
163 Debugging parallel programs with Instant Replay (context) - LeBlanc, Mellor-Crummey - 1987
140 Eraser: A dynamic data race detector for multithreaded progr.. - Savage, Burrows et al. - 1997
126 Debugging concurrent programs (context) - McDowell, Helmbold - 1989
104 Model checking programs - Visser, Havelund et al. - 2000
32 Deterministic replay of Java multithreaded applications - Choi - 1998
30 Debugging concurrent Ada programs by deterministic execution (context) - Tai, Carver - 1991
29 Optimal tracing and replay for debugging shared-memory paral.. - Netzer - 1993
27 Systematic Testing of Multithreaded Java Programs - Bruening - 1999
25 Supporting reverse execution of parallel programs (context) - Pan, Linton - 1988
18 Replay for concurrent non-deterministic shared-memory applic.. (context) - Russinovich, Cogswell - 1996
15 RecPlay fully integrated practical recordreplay system (context) - Bosschere, integrated et al. - 1999
14 High-level data races - Artho, Havelund et al. - 2003
13 A software instruction counter (context) - Mellor-Crummey, LeBlanc - 1989
12 Deterministic replay of distributed Java applications - Konuru, Srinivasan et al. - 2000
8 A perturbationfree replay platform for cross-optimized multi.. - Choi, Alpern et al. - 2001
7 jRapture capturereplay tool observation based testing (context) - Fleck, capture et al. - 2000
6 Java Virtual Machine with Rollback Procedure allowing System.. (context) - Eugster - 2003
5 Isolating failure-inducing thread schedules - Choi - 2002
3 An Esterel compiler for large control-dominated systems - Edwards - 2002
3 Framework for testing multi-threaded Java programs (context) - Edelstein, Farchi et al. - 2003
3 The Java Virtual Machine Specification (context) - Londholm, Jellin - 1999
2 JaReC recordreplay system multi threaded Java application (context) - Ronsse, record et al. - 2002
http://ase.arc.nasa.gov/visser/jpf/jdc.html
http://java.sun.com/j2se/1.4.1/docs/guide/jvmpi/jvmpi.html
http://www.epcc.ed.ac.uk/javagrande/index_1.html
http://www.debugtools.com/
http://www.bluemarsh.com/java/jswat/index.html
http://www.eclipse.org/
http://java.sun.com/j2se/1.4.1/docs/api/index.html
Documents on the same site (http://www.inf.ethz.ch/~schuppan/publications.html): More
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV - Schuppan, Biere (2003) (Correct)
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
Efficient Reduction of Finite State Model Checking to.. - Schuppan, Biere (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC