@inproceedings{stoller02testing,
author="Scott D. Stoller",
title="Testing Concurrent {Java} Programs using Randomized Scheduling",
booktitle="Proc.\ Second Workshop on Runtime Verification (RV)",
month=jul,
year=2002,
series="Electronic Notes in Theoretical Computer Science",
publisher="Elsevier",
volume="70(4)"
}