@INPROCEEDINGS{LongDGSW04, author = {Brad Long and Roger Duke and Doug Goldson and Paul Strooper and Luke Wildman}, title = {Mutation-based Exploration of a Method for Verifying Concurrent Java Components}, booktitle = {18th International Parallel and Distributed Processing Symposium (IPDPS'04)}, year = {2004}, address = {Santa Fe, New Mexico}, month = {26-30 April}, pages = {265} }