Craig Harvey Paul A. Strooper Testing Java Monitors through Deterministic Execution. 61-67 2001 conf/aswec/2001 Australian Software Engineering Conference http://csdl.computer.org/comp/proceedings/aswec/2001/1254/00/12540061abs.htm db/conf/aswec/aswec2001.html#HarveyS01