Craig Harvey, Paul A. Strooper. Testing Java Monitors through Deterministic Execution. In 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia. pages 61-67, IEEE Computer Society, 2001. [doi]
Abstract is missing.