Efficient Detection of Errors in Java Components Using Random Environment and Restarts.

Pavel Parzek, Tomas Kalibera

Browse the full TACAS paper archive.