Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez. A State Exploration-Based Approach to Testing Java Monitors. In 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA. pages 256-265, IEEE Computer Society, 2006. [doi]
Abstract is missing.