A State Exploration-Based Approach to Testing Java Monitors.

Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez

Browse the full ISSRE paper archive.