JaRec: Record/Replay for Multi-threaded Java Programs.

Published in: Java Virtual Machine Research and Technology Symposium (2001)