A State Exploration-Based Approach to Testing Java Monitors. - Yu Lei 001; Richard H. Carver; David Chenho Kung; Vidur Gupta; Monica Hernandez (ISSRE, 2006)