@inproceedings{VSchuppanMBaurABiere-RV-2004,
  author   = {Viktor Schuppan and Marcel Baur and Armin Biere},
  title    = {{JVM} Independent Replay in {J}ava},
  pages    = {85--104},
  crossref = {conf/rv/2004},
  ee       = {http://dx.doi.org/10.1016/j.entcs.2004.01.032},
}

@proceedings{conf/rv/2004,
  editor    = {Klaus Havelund and Grigore Ro\c{s}u},
  title     = {Proceedings of the Fourth Workshop on Runtime Verification (RV 2004), Malaga, Spain, April 3rd, 2004},
  booktitle = {RV'04},
  publisher = {Elsevier},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {113},
  year      = {2005},
}