Yu Lei Richard H. Carver David Chenho Kung Vidur Gupta Monica Hernandez A State Exploration-Based Approach to Testing Java Monitors. 256-265 2006 conf/issre/2006 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.9 db/conf/issre/issre2006.html#LeiCKGH06